theRestartScriptUsage  210 dmtcp_coordinator.cpp static const char* theRestartScriptUsage =
theRestartScriptUsage 1398 dmtcp_coordinator.cpp   fprintf ( fp, "%s", theRestartScriptUsage );