dmtcpWrappersInitialized  144 dmtcpworker.cpp static bool dmtcpWrappersInitialized = false;
dmtcpWrappersInitialized  147 dmtcpworker.cpp   if (!dmtcpWrappersInitialized) {
dmtcpWrappersInitialized  153 dmtcpworker.cpp     dmtcpWrappersInitialized = true;