Commented checkpointing