-record(machine_state, {
    configuration :: gwr@execution@machine:configuration(),
    stack :: gwr@execution@stack:stack()
}).