
  TYPE
    jmt$print_file_statistic_data = record
      file_size: ost$non_negative_integers,
      user_file_name: ost$name,
      system_file_name: jmt$system_supplied_name,
    recend;

*copyc jmt$system_supplied_name
*copyc osd$integer_limits
*copyc ost$name
