checkpointing utilities