origPid           283 plugin/pid/pidwrappers.cpp   pid_t origPid = REAL_TO_VIRTUAL_PID (pid);
origPid           287 plugin/pid/pidwrappers.cpp   return origPid;