Module substate
mashina
Execution environment substate.
State changes which should be applied in finalize, after transaction is fully executed.