nRestarts         140 dmtcpplugin.cpp EXTERNC int dmtcp_get_local_status(int *nCheckpoints, int *nRestarts)
nRestarts         143 dmtcpplugin.cpp   *nRestarts = numRestarts;