oldInterval      1655 dmtcp_coordinator.cpp     int oldInterval = theCheckpointInterval;
oldInterval      1658 dmtcp_coordinator.cpp       ( oldInterval ) ( theCheckpointInterval );