_nextVirtualPid   480 dmtcp_coordinator.cpp static pid_t _nextVirtualPid = INITIAL_VIRTUAL_PID;
_nextVirtualPid   518 dmtcp_coordinator.cpp     pid = _nextVirtualPid;
_nextVirtualPid   519 dmtcp_coordinator.cpp     _nextVirtualPid += 1000;
_nextVirtualPid   520 dmtcp_coordinator.cpp     if (_nextVirtualPid > MAX_VIRTUAL_PID) {
_nextVirtualPid   521 dmtcp_coordinator.cpp       _nextVirtualPid = INITIAL_VIRTUAL_PID;