public void Anon_3()
{
PONG currentMachine = this;
PMachineValue payload = (PMachineValue)(gotoPayload ?? ((PEvent)currentMachine.ReceivedEvent).Payload);
this.gotoPayload = null;
PMachineValue TMP_tmp0_2 = null;
PEvent TMP_tmp1_2 = null;
PEvent TMP_tmp2_1 = null;
TMP_tmp0_2 = (PMachineValue)(((PMachineValue)((IPrtValue)payload)?.Clone()));
TMP_tmp1_2 = (PEvent)(new Pong(null));
currentMachine.SendEvent(TMP_tmp0_2, (Event)TMP_tmp1_2);
TMP_tmp2_1 = (PEvent)(new Success(null));
currentMachine.RaiseEvent((Event)TMP_tmp2_1);
throw new PUnreachableCodeException();
}
public void Anon_2()
{
PONG currentMachine = this;
}
