EndOfDeck         792 src/dps8/dps8_crdpun.c         case EndOfDeck:
EndOfDeck         973 src/dps8/dps8_crdpun.c     transition_state(event, state, EndOfDeck);
EndOfDeck        1053 src/dps8/dps8_crdpun.c                   case EndOfDeck:
EndOfDeck        1082 src/dps8/dps8_crdpun.c                   case EndOfDeck:
EndOfDeck        1111 src/dps8/dps8_crdpun.c                   case EndOfDeck: