sendMsgToCoordinator   82 coordinatorapi.h       void sendMsgToCoordinator(const DmtcpMessage &msg,
sendMsgToCoordinator  465 dmtcpworker.cpp     CoordinatorAPI::instance().sendMsgToCoordinator(msg);
sendMsgToCoordinator  504 dmtcpworker.cpp   CoordinatorAPI::instance().sendMsgToCoordinator(msg);