michael@0: 
michael@0: namespace mozilla {
michael@0: namespace _ipdltest {
michael@0: 
michael@0: 
michael@0: intr protocol PTestRacyUndefer {
michael@0: 
michael@0: child:
michael@0:     async Start();
michael@0: 
michael@0:     async AwakenSpam();
michael@0:     async AwakenRaceWinTwice();
michael@0: 
michael@0:     intr Race();
michael@0: 
michael@0:     async __delete__();
michael@0: 
michael@0: parent:
michael@0: 
michael@0:     intr Spam();
michael@0:     intr RaceWinTwice();
michael@0: 
michael@0:     async Done();
michael@0: };
michael@0: 
michael@0: 
michael@0: } // namespace mozilla
michael@0: } // namespace _ipdltest