cleanupWorker     363 dmtcpworker.cpp   cleanupWorker();
cleanupWorker     411 dmtcpworker.cpp   cleanupWorker();
cleanupWorker      54 dmtcpworker.h        static void cleanupWorker();