sevenDeck         714 src/dps8/dps8_crdrdr.c         case sevenDeck: {
sevenDeck         720 src/dps8/dps8_crdrdr.c             thisCard = sevenDeck;
sevenDeck         827 src/dps8/dps8_crdrdr.c     case sevenDeck: {
sevenDeck        1049 src/dps8/dps8_crdrdr.c                 submit (sevenDeck, fqname, readerIndex);