_virtualPid        53 dmtcp_coordinator.h       pid_t virtualPid(void) const { return _virtualPid; }
_virtualPid        54 dmtcp_coordinator.h       void virtualPid(pid_t pid) { _virtualPid = pid; }
_virtualPid        68 dmtcp_coordinator.h       pid_t _virtualPid;