writeRestartScript  684 dmtcp_coordinator.cpp     writeRestartScript();
writeRestartScript  721 dmtcp_coordinator.cpp     writeRestartScript();
writeRestartScript  115 dmtcp_coordinator.h       void writeRestartScript();