You can build a CEK machine (https://cs.umd.edu/class/summer2015/cmsc330/material/cek/ https://cs.umd.edu/class/summer2015/cmsc330/material/cek/), switching fro

You can build a CEK machine (https://cs.umd.edu/class/summer2015/cmsc330/material/cek/ https://cs.umd.edu/class/summer2015/cmsc330/material/cek/), switching from big-step operational semantics to small-step operational semantics. Then you dump the CEK machine in a while loop that runs until the continuation is empty and the code is a value. (On a side note, this is how most C-targeting Scheme implementations work.)