EndOfDeck         811 src/dps8/dps8_crdpun.c         case EndOfDeck:
EndOfDeck         993 src/dps8/dps8_crdpun.c     transition_state(event, state, EndOfDeck);
EndOfDeck        1122 src/dps8/dps8_crdpun.c                   case EndOfDeck:
EndOfDeck        1151 src/dps8/dps8_crdpun.c                   case EndOfDeck:
EndOfDeck        1180 src/dps8/dps8_crdpun.c                   case EndOfDeck: