reset: add a marker to delimit the capture of the continuation by
shift. So called because we add a
reset markonto the stack.
shift: .. So called because to start executing a
shift, we move stack frames upto the closest reset from the stack into the heap. When the continuation of
shiftis called, move back the stack frames from the heap onto the stack.
Direct Implementation of Shift and Reset in the MinCaml Compiler