
TYPE
  rat$file_format = (rac$unused_format, rac$object_library, rac$online_manual,
                     rac$source_library, rac$v_record_file, rac$real_state_library,
                     rac$deadstart_tape_modules, rac$indexed_sequential_file,
                     rac$symbol_table, rac$installation_table, rac$ppu_format, rac$other);

