waitForCoordinatorMsg  513 dmtcpworker.cpp   waitForCoordinatorMsg ("SUSPEND", DMT_DO_SUSPEND);
waitForCoordinatorMsg  536 dmtcpworker.cpp   waitForCoordinatorMsg ("FD_LEADER_ELECTION", DMT_DO_FD_LEADER_ELECTION);
waitForCoordinatorMsg  542 dmtcpworker.cpp   waitForCoordinatorMsg ("DRAIN", DMT_DO_DRAIN);
waitForCoordinatorMsg  548 dmtcpworker.cpp   waitForCoordinatorMsg ("CHECKPOINT", DMT_DO_CHECKPOINT);
waitForCoordinatorMsg  565 dmtcpworker.cpp   waitForCoordinatorMsg("REGISTER_NAME_SERVICE_DATA",
waitForCoordinatorMsg  572 dmtcpworker.cpp   waitForCoordinatorMsg("SEND_QUERIES", DMT_DO_SEND_QUERIES);
waitForCoordinatorMsg  578 dmtcpworker.cpp   waitForCoordinatorMsg ("REFILL", DMT_DO_REFILL);
waitForCoordinatorMsg  588 dmtcpworker.cpp   waitForCoordinatorMsg ("RESUME", DMT_DO_RESUME);
waitForCoordinatorMsg   43 dmtcpworker.h        static void waitForCoordinatorMsg(string signalStr,