write_punch_files  947 src/dps8/dps8_crdpun.c         write_punch_files (state, current_entry -> card_data, WORDS_PER_CARD, true);
write_punch_files  991 src/dps8/dps8_crdpun.c         write_punch_files (state, current_entry -> card_data, WORDS_PER_CARD,
write_punch_files  998 src/dps8/dps8_crdpun.c     write_punch_files (state, card_buffer, tally, true);    // Write card to spool file