getNewVirtualPid 1067 dmtcp_coordinator.cpp     client->virtualPid(getNewVirtualPid());
getNewVirtualPid  112 dmtcp_coordinator.h       pid_t getNewVirtualPid();