NCR_RESELECTED
if (sc->sc_prevphase != MESSAGE_IN_PHASE && sc->sc_state != NCR_RESELECTED) {
case NCR_RESELECTED:
case NCR_RESELECTED:
case NCR_RESELECTED:
case NCR_RESELECTED:
sc->sc_state = NCR_RESELECTED;