dmtcp_get_real_pid   37 threadinfo.h   pid_t dmtcp_get_real_pid() __attribute((weak));
dmtcp_get_real_pid   41 threadinfo.h     (dmtcp_get_real_pid != NULL ? dmtcp_get_real_pid() : getpid())