modified: checkpoints.cpp