Checkpoint: pop()