michael@0: 
michael@0: namespace mozilla {
michael@0: namespace _ipdltest {
michael@0: 
michael@0: 
michael@0: intr protocol PTestNestedLoops {
michael@0: 
michael@0: child:
michael@0:     async Start();
michael@0:     intr R();
michael@0:     __delete__();
michael@0: 
michael@0: parent:
michael@0:     async Nonce();
michael@0: 
michael@0: 
michael@0: state START:
michael@0:     send Start goto RACE;
michael@0: 
michael@0: state RACE:
michael@0:     recv Nonce goto RACE1;
michael@0:     call R goto RACE2;
michael@0: state RACE1:
michael@0:     call R goto DEAD;
michael@0: state RACE2:
michael@0:     recv Nonce goto DEAD;
michael@0: 
michael@0: state DEAD:
michael@0:     send __delete__;
michael@0: };
michael@0: 
michael@0: 
michael@0: } // namespace mozilla
michael@0: } // namespace _ipdltest