destroyDmtcpWorkerLockLock  396 dmtcpworker.cpp     ThreadSync::destroyDmtcpWorkerLockLock();
destroyDmtcpWorkerLockLock   62 threadsync.h       void destroyDmtcpWorkerLockLock();