do_state_cache_card 1107 src/dps8/dps8_crdpun.c event = do_state_cache_card(current_event, state, tally, card_buffer); //-V1037 do_state_cache_card 1111 src/dps8/dps8_crdpun.c event = do_state_cache_card(current_event, state, tally, card_buffer); do_state_cache_card 1115 src/dps8/dps8_crdpun.c event = do_state_cache_card(current_event, state, tally, card_buffer);