INITIAL_MAX      1338 dmtcp_coordinator.cpp   const static int INITIAL_MAX = WorkerState::UNKNOWN;
INITIAL_MAX      1340 dmtcp_coordinator.cpp   int max = INITIAL_MAX;
INITIAL_MAX      1361 dmtcp_coordinator.cpp   status.maximumState = ( max==INITIAL_MAX ? WorkerState::UNKNOWN