do_state_cache_card 1177 src/dps8/dps8_crdpun.c                     event = do_state_cache_card(current_event, state, tally, card_buffer); //-V1037
do_state_cache_card 1181 src/dps8/dps8_crdpun.c                     event = do_state_cache_card(current_event, state, tally, card_buffer);
do_state_cache_card 1185 src/dps8/dps8_crdpun.c                     event = do_state_cache_card(current_event, state, tally, card_buffer);
do_state_cache_card 1266 src/punutil/punutil.c                 event = do_state_cache_card(current_event, card); //-V1037
do_state_cache_card 1270 src/punutil/punutil.c                 event = do_state_cache_card(current_event, card);
do_state_cache_card 1274 src/punutil/punutil.c                 event = do_state_cache_card(current_event, card);
do_state_cache_card 1278 src/punutil/punutil.c                 event = do_state_cache_card(current_event, card);