public void Anon_7(Event currentMachine_dequeuedEvent)
{
ReliableStorageMachine currentMachine = this;
PMachineValue m_1 = ((PEvent <PMachineValue>)currentMachine_dequeuedEvent).PayloadT;
PMachineValue TMP_tmp0_7 = null;
IEventWithPayload TMP_tmp1_6 = null;
MyState TMP_tmp2_6 = (MyState)(0);
TMP_tmp0_7 = ((PMachineValue)((IPrtValue)m_1)?.Clone());
TMP_tmp1_6 = new eQueryStateResponse((MyState)(0));
TMP_tmp2_6 = ((MyState)((IPrtValue)s_1)?.Clone());
currentMachine.SendEvent(currentMachine, TMP_tmp0_7, (Event)TMP_tmp1_6, TMP_tmp2_6);
}
public void Anon_9()
{
ReliableStorageMachine currentMachine = this;
s_1 = ((PrtInt)(long)MyState.State1);
}
