1 2 3 4 5 6 7 8 9 10
protocol trans_WrongName2 { parent: async Msg(); async __delete__(); state S1: answer Msg goto S1; recv __delete__; };