punch_file_name   924 src/dps8/dps8_crdpun.c     char punch_file_name[PATH_MAX+1];
punch_file_name   930 src/dps8/dps8_crdpun.c         punch_file_name[0] = 0;
punch_file_name   934 src/dps8/dps8_crdpun.c         (void)sprintf (punch_file_name, "%5.5s.%22.22s",
punch_file_name   938 src/dps8/dps8_crdpun.c         remove_spaces(punch_file_name);
punch_file_name   941 src/dps8/dps8_crdpun.c     strncpy(state -> raw_file_name, punch_file_name, sizeof(state -> raw_file_name));