Refactored to allow for the reification of continuations