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