Checkpoint (about to subroutinize)