dmtcp_no_coordinator 92 dmtcpnohijackstubs.cpp int dmtcp_no_coordinator() dmtcp_no_coordinator 499 dmtcpplugin.cpp EXTERNC int dmtcp_no_coordinator(void)