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