1protocol race_MultiOut {
2child:
3    async Msg1();
4    async Msg1_();
5parent:
6    async Msg2();
7    async Msg2_();
8
9start state S15:
10    send Msg1 goto S16 or S17;
11    recv Msg2 goto S18 or S19;
12
13state S16:
14    recv Msg2 goto S20;
15    recv Msg2_ goto S18;
16
17state S17:
18    recv Msg2 goto S20;
19    recv Msg2_ goto S15;
20
21state S18:
22    send Msg1 goto S20;
23    send Msg1_ goto S15;
24
25state S19:
26    send Msg1 goto S20;
27    send Msg1_ goto S16;
28
29state S20:
30    send Msg1 goto S20;
31    send Msg1_ goto S20;
32    recv Msg2 goto S20;
33    recv Msg2_ goto S20;
34
35};
36