EndOfDeck         793 src/dps8/dps8_crdpun.c         case EndOfDeck:
EndOfDeck         975 src/dps8/dps8_crdpun.c     transition_state(event, state, EndOfDeck);
EndOfDeck        1055 src/dps8/dps8_crdpun.c                   case EndOfDeck:
EndOfDeck        1084 src/dps8/dps8_crdpun.c                   case EndOfDeck:
EndOfDeck        1113 src/dps8/dps8_crdpun.c                   case EndOfDeck: