checkpoint; checkpoint-then-restart(checkpoint)-then-run-to-completion works