nCheckpoints      140 dmtcpplugin.cpp EXTERNC int dmtcp_get_local_status(int *nCheckpoints, int *nRestarts)
nCheckpoints      142 dmtcpplugin.cpp   *nCheckpoints = numCheckpoints;