Checkpointed: initial version to submit