do_state_end_of_deck 1136 src/dps8/dps8_crdpun.c                     event = do_state_end_of_deck(current_event, state, tally, card_buffer);
do_state_end_of_deck 1140 src/dps8/dps8_crdpun.c                     event = do_state_end_of_deck(current_event, state, tally, card_buffer);
do_state_end_of_deck 1144 src/dps8/dps8_crdpun.c                     event = do_state_end_of_deck(current_event, state, tally, card_buffer);
do_state_end_of_deck 1148 src/dps8/dps8_crdpun.c                     event = do_state_end_of_deck(current_event, state, tally, card_buffer);
do_state_end_of_deck 1152 src/dps8/dps8_crdpun.c                     event = do_state_end_of_deck(current_event, state, tally, card_buffer);