
  TYPE
    nft$device_attributes = record
      attributes_received: boolean,
      banner_highlight_field: nft$banner_highlight_field,
      banner_page_count: nft$banner_page_count,
      carriage_control_support: nft$carriage_control_action,
      code_set: nft$code_set,
      device_alias_1: ost$name,
      device_alias_2: ost$name,
      device_alias_3: ost$name,
      external_characteristics_1: nft$external_characteristics,
      external_characteristics_2: nft$external_characteristics,
      external_characteristics_3: nft$external_characteristics,
      external_characteristics_4: nft$external_characteristics,
      file_acknowledgement: boolean,
      forms_code_1: nft$forms_code,
      forms_code_2: nft$forms_code,
      forms_code_3: nft$forms_code,
      forms_code_4: nft$forms_code,
      forms_size: nft$forms_size,
      maximum_file_size: nft$device_file_size,
      page_width: nft$page_width,
      terminal_model: nft$terminal_model,
      tip_type: nft$tip_type,
      transmission_block_size: nft$transmit_block_size,
      undefined_fe_action: nft$format_effector_actions,
      unsupported_fe_action: nft$format_effector_actions,
      vertical_print_density: nft$vertical_print_density,
      vfu_load_option: nft$vfu_load_option,
      vfu_load_procedure: nft$vfu_load_procedure,
    recend;

*copyc nft$banner_highlight_field
*copyc nft$banner_page_count
*copyc nft$carriage_control_action
*copyc nft$code_set
*copyc nft$device_file_size
*copyc nft$device_type
*copyc nft$external_characteristics
*copyc nft$format_effector_actions
*copyc nft$forms_code
*copyc nft$forms_size
*copyc nft$page_width
*copyc nft$terminal_model
*copyc nft$tip_type
*copyc nft$transmit_block_size
*copyc nft$vertical_print_density
*copyc nft$vfu_load_option
*copyc nft$vfu_load_procedure
*copyc ost$name
