ENV_VAR_VIRTUAL_PID   89 constants.h    #define ENV_VAR_VIRTUAL_PID "DMTCP_VIRTUAL_PID"
ENV_VAR_VIRTUAL_PID   67 plugin/pid/pidwrappers.h #define ENV_VAR_VIRTUAL_PID "DMTCP_VIRTUAL_PID"