plex_referenced
case plex_referenced:
if (PLEX[namedplexno].state == plex_referenced) { /* we've been told about this one */
PLEX[plexno].state = plex_referenced; /* we know something about it */
if ((plex->state > plex_referenced)
&& (PLEX[plexno].state > plex_referenced))
if (plex->state > plex_referenced) {