Checkpoint boilerplate