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