theInstance        62 dmtcpworker.cpp DmtcpWorker DmtcpWorker::theInstance;
theInstance        69 dmtcpworker.h        static DmtcpWorker theInstance;