-record(state, {
    module_instance :: gwr@spec:module_instance(),
    stack :: gwr@exec@stack:stack(),
    store :: gwr@spec:store()
}).