UNKNOWN          1065 dmtcp_coordinator.cpp             hello_remote.state == WorkerState::UNKNOWN);
UNKNOWN          1129 dmtcp_coordinator.cpp     JASSERT ( minimumState() == WorkerState::UNKNOWN )
UNKNOWN          1206 dmtcp_coordinator.cpp           hello_remote.state == WorkerState::UNKNOWN) (hello_remote.state);
UNKNOWN          1228 dmtcp_coordinator.cpp              s.minimumState != WorkerState::UNKNOWN) {
UNKNOWN          1338 dmtcp_coordinator.cpp   const static int INITIAL_MAX = WorkerState::UNKNOWN;
UNKNOWN          1351 dmtcp_coordinator.cpp   status.minimumState = ( min==INITIAL_MIN ? WorkerState::UNKNOWN
UNKNOWN          1361 dmtcp_coordinator.cpp   status.maximumState = ( max==INITIAL_MAX ? WorkerState::UNKNOWN
UNKNOWN           103 dmtcpmessagetypes.cpp       OSHIFTPRINTF ( UNKNOWN )
UNKNOWN           122 dmtcpmessagetypes.cpp   case UNKNOWN:      return "UNKNOWN";
UNKNOWN           101 dmtcpmessagetypes.h         UNKNOWN,
UNKNOWN           115 dmtcpmessagetypes.h       WorkerState ( eWorkerState s = UNKNOWN ) : _state ( s ) {}
UNKNOWN           310 dmtcpworker.cpp   WorkerState::setCurrentState(WorkerState::UNKNOWN);
UNKNOWN           388 dmtcpworker.cpp   WorkerState::setCurrentState(WorkerState::UNKNOWN);
UNKNOWN            64 execwrappers.cpp   if (WorkerState::currentState() != WorkerState::UNKNOWN &&