modified:   checkpoints.cpp