_MAX             1337 dmtcp_coordinator.cpp   const static int INITIAL_MIN = WorkerState::_MAX;
_MAX               92 dmtcpmessagetypes.cpp   JASSERT(_state < _MAX) (_state);
_MAX              113 dmtcpmessagetypes.h         _MAX