DMT_RESTART_WORKER  596 coordinatorapi.cpp   DmtcpMessage hello_local(DMT_RESTART_WORKER);
DMT_RESTART_WORKER 1055 dmtcp_coordinator.cpp   if (hello_remote.type == DMT_RESTART_WORKER) {
DMT_RESTART_WORKER  147 dmtcpmessagetypes.cpp       OSHIFTPRINTF ( DMT_RESTART_WORKER )
DMT_RESTART_WORKER   39 dmtcpmessagetypes.h     DMT_RESTART_WORKER,   // on connect established worker-coordinator