reset: add a marker to delimit the capture of the continuation by shift. So called because we add a reset mark onto 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 shift is called, move back the stack frames from the heap onto the stack. Direct Implementation of Shift and Reset in the MinCaml Compiler