processDmtUserCmd 1028 dmtcp_coordinator.cpp     processDmtUserCmd(hello_remote, remote);
processDmtUserCmd   97 dmtcp_coordinator.h       void processDmtUserCmd(DmtcpMessage& hello_remote,