INITIAL_MIN      1337 dmtcp_coordinator.cpp   const static int INITIAL_MIN = WorkerState::_MAX;
INITIAL_MIN      1339 dmtcp_coordinator.cpp   int min = INITIAL_MIN;
INITIAL_MIN      1346 dmtcp_coordinator.cpp     unanimous = unanimous && (min==cliState || min==INITIAL_MIN);
INITIAL_MIN      1351 dmtcp_coordinator.cpp   status.minimumState = ( min==INITIAL_MIN ? WorkerState::UNKNOWN