ckpt_signal       161 dmtcpplugin.cpp   const int ckpt_signal = DmtcpWorker::determineCkptSignal();
ckpt_signal       162 dmtcpplugin.cpp   return ckpt_signal;