WIP example abstract machine