-record(machine, {
    module_instance :: gwr@execution@runtime:module_instance(),
    state :: gwr@execution@machine:machine_state()
}).