DMTCP_EVENT_PTHREAD_EXIT  214 plugin/pid/pid.cpp     case DMTCP_EVENT_PTHREAD_EXIT:
DMTCP_EVENT_PTHREAD_EXIT  232 threadwrappers.cpp   DmtcpWorker::eventHook(DMTCP_EVENT_PTHREAD_EXIT, NULL);