scanForCards      874 src/dps8/dps8_crdrdr.c                 scanForCards(reader_idx);
scanForCards      884 src/dps8/dps8_crdrdr.c         scanForCards(0);