setExitInProgress  408 dmtcpworker.cpp   setExitInProgress();
setExitInProgress   58 dmtcpworker.h        static void setExitInProgress() { _exitInProgress = true; };
setExitInProgress   74 miscwrappers.cpp   DmtcpWorker::setExitInProgress();