alarm              35 alarm.cpp              timeLeft = alarm(0);
alarm              44 alarm.cpp                timeLeft = alarm(timeLeft);
alarm            1648 dmtcp_coordinator.cpp   alarm(theCheckpointInterval);