theHelpMessage     88 dmtcp_coordinator.cpp static const char* theHelpMessage =
theHelpMessage    604 dmtcp_coordinator.cpp     JASSERT_STDERR << theHelpMessage;