DMT_USER_CMD      235 coordinatorapi.cpp   JASSERT(msg.type == DMT_USER_CMD) (msg.type)
DMT_USER_CMD      304 coordinatorapi.cpp   msg.type = DMT_USER_CMD;
DMT_USER_CMD     1024 dmtcp_coordinator.cpp   if (hello_remote.type == DMT_USER_CMD) {
DMT_USER_CMD      159 dmtcpmessagetypes.cpp       OSHIFTPRINTF ( DMT_USER_CMD )
DMT_USER_CMD       55 dmtcpmessagetypes.h     DMT_USER_CMD,            // on connect established dmtcp_command -> coordinator