dmtcp_get_real_tid   36 threadinfo.h   pid_t dmtcp_get_real_tid() __attribute((weak));
dmtcp_get_real_tid   44 threadinfo.h     (dmtcp_get_real_tid != NULL ? dmtcp_get_real_tid() : GETTID())