Checkpoints in the main execution branch