punch_file_name   923 src/dps8/dps8_crdpun.c     char punch_file_name[PATH_MAX+1];
punch_file_name   928 src/dps8/dps8_crdpun.c         punch_file_name[0] = 0;
punch_file_name   932 src/dps8/dps8_crdpun.c         sprintf(punch_file_name, "%5.5s.%22.22s",
punch_file_name   936 src/dps8/dps8_crdpun.c         remove_spaces(punch_file_name);
punch_file_name   939 src/dps8/dps8_crdpun.c     strncpy(state -> raw_file_name, punch_file_name, sizeof(state -> raw_file_name));