total_card_count  537 src/punutil/cardutil.c static int total_card_count                = 0;
total_card_count  954 src/punutil/cardutil.c   total_card_count += 1;
total_card_count 1017 src/punutil/cardutil.c                 total_card_count += 1;
total_card_count 1066 src/punutil/cardutil.c             (void)fprintf (stderr, "Emitted %d total cards\n", total_card_count);
total_card_count 1067 src/punutil/cardutil.c             card_count = total_card_count = 0;