
  TYPE
    fst$device_attribute = record
      case selector: fst$device_attribute_choices of
      = fsc$allocation_size =
        allocation_size: rmt$allocation_size,
      = fsc$density =
        density: rmt$density,
      = fsc$device_class =
        device_class: fst$device_class,
      = fsc$estimated_file_size =
        estimated_file_size: amt$file_byte_address,
      = fsc$initial_volume =
        initial_volume: rmt$recorded_vsn,
      = fsc$mass_storage_class =
        mass_storage_class: rmt$mass_storage_class,
      = fsc$null_device_attribute =
        ,
      = fsc$removable_media_group =
        removable_media_group: ost$name,
      = fsc$requested_transfer_size =
        requested_transfer_size: fst$transfer_size,
      = fsc$shared_queue =
        shared_queue: ost$name,
      = fsc$volume_list =
        volume_list: ^rmt$volume_list,
      = fsc$volume_overflow_allowed =
        volume_overflow_allowed: boolean,
      casend,
    recend;

*copyc amt$file_byte_address
*copyc fst$device_attribute_choices
*copyc fst$device_class
*copyc fst$transfer_size
*copyc ost$name
*copyc rmt$allocation_size
*copyc rmt$density
*copyc rmt$mass_storage_class
*copyc rmt$recorded_vsn
*copyc rmt$volume_list
