SPC_ASSERT
SPC_ASSERT(sc->sc_nexus != NULL);
SPC_ASSERT(sc->sc_nexus != NULL);
SPC_ASSERT(sc->sc_nexus != NULL);
SPC_ASSERT(sc->sc_nexus != NULL);
SPC_ASSERT(sc->sc_nexus != NULL);
SPC_ASSERT(s == 1);
SPC_ASSERT(sc->sc_flags & SPC_BUSFREE_OK);
SPC_ASSERT(sc->sc_nexus != NULL);
SPC_ASSERT(sc->sc_nexus != NULL);
SPC_ASSERT(sc->sc_nexus != NULL);
SPC_ASSERT(sc->sc_nexus != NULL);
SPC_ASSERT(sc->sc_nexus != NULL);
SPC_ASSERT(sc->sc_nexus != NULL);
SPC_ASSERT(sc->sc_nexus != NULL);
SPC_ASSERT(sc->sc_nexus != NULL);
SPC_ASSERT(sc->sc_nexus != NULL);
SPC_ASSERT(sc->sc_nexus != NULL);
SPC_ASSERT(sc->sc_nexus != NULL);
SPC_ASSERT(sc->sc_nexus != NULL);
SPC_ASSERT(sc->sc_nexus != NULL);