(checkpoint, do_checkpoint): Remove.