  TYPE
    nft$destination = record
      name: ost$name,
      file_list: ^nft$available_file,
      control_facility_list: ^nft$linked_list_entry,
      link: ^nft$destination,
      title_search_id: nat$directory_search_identifier,
      translation_time_stamp: integer,
    recend;

*copyc nat$directory_search_identifier
*copyc nft$available_file
*copyc nft$destination
*copyc nft$linked_list_entry
