newDestroyDmtcpWorker  201 threadsync.cpp   pthread_mutex_t newDestroyDmtcpWorker = PTHREAD_MUTEX_INITIALIZER;
newDestroyDmtcpWorker  202 threadsync.cpp   destroyDmtcpWorkerLock = newDestroyDmtcpWorker;