_isNSWorker       492 dmtcp_coordinator.cpp   _isNSWorker = isNSWorker;
_isNSWorker        55 dmtcp_coordinator.h       int isNSWorker() {return _isNSWorker;}
_isNSWorker        69 dmtcp_coordinator.h       int _isNSWorker;