_realPid          493 dmtcp_coordinator.cpp   _realPid = hello_remote.realPid;
_realPid           51 dmtcp_coordinator.h       pid_t realPid(void) const { return _realPid; }
_realPid           52 dmtcp_coordinator.h       void realPid(pid_t pid) { _realPid = pid; }
_realPid           67 dmtcp_coordinator.h       pid_t _realPid;