
  TYPE
    ift$terminal_attributes = array [1 .. * ] of
      ift$terminal_attribute;

  TYPE
    ift$terminal_attribute = record
      case key {input} : ift$terminal_attribute_keys of
      = ifc$attention_character =
        attention_character: char,
      = ifc$backspace_character =
        backspace_character: char,
      = ifc$begin_line_character =
        begin_line_character: char,
      = ifc$cancel_line_character =
        cancel_line_character: char,
      = ifc$carriage_return_delay =
        carriage_return_delay: ift$carriage_return_delay,
      = ifc$carriage_return_sequence =
        carriage_return_sequence: ift$carriage_return_sequence,
      = ifc$character_flow_control =
        character_flow_control: boolean,
      = ifc$code_set =
        code_set: ift$code_set,
      = ifc$echoplex =
        echoplex: boolean,
      = ifc$end_line_character =
        end_line_character: char,
      = ifc$end_line_positioning =
        end_line_positioning: ift$end_line_positioning,
      = ifc$end_output_sequence =
        end_output_sequence: ift$end_output_sequence,
      = ifc$end_page_action =
        end_page_action: ift$end_page_action,
      = ifc$end_partial_character =
        end_partial_character: char,
      = ifc$end_partial_positioning =
        end_partial_positioning: ift$end_partial_positioning,
      = ifc$fold_line =
        fold_line: boolean,
      = ifc$form_feed_delay =
        form_feed_delay: ift$form_feed_delay,
      = ifc$form_feed_sequence =
        form_feed_sequence: ift$form_feed_sequence,
      = ifc$hold_page =
        hold_page: boolean,
      = ifc$hold_page_over =
        hold_page_over: boolean,
      = ifc$line_feed_delay =
        line_feed_delay: ift$line_feed_delay,
      = ifc$line_feed_sequence =
        line_feed_sequence: ift$line_feed_sequence,
      = ifc$network_command_character =
        network_command_character: char,
      = ifc$null_terminal_attribute =
        ,
      = ifc$page_length =
        page_length: ift$page_length,
      = ifc$page_width =
        page_width: ift$page_width,
      = ifc$parity =
        parity: ift$parity,
      = ifc$pause_break_character =
        pause_break_character: char,
      = ifc$status_action =
        status_action: ift$status_action,
      = ifc$terminal_class =
        terminal_class: ift$terminal_class,
      = ifc$terminal_model =
        terminal_model: ift$terminal_model,
      = ifc$terminate_break_character =
        terminate_break_character: char,
      = ifc$terminal_name =
        terminal_name: ^ift$terminal_name,
      = ifc$control_code_replacement =
        control_code_replacement: ^ift$control_code_replacement,
      = ifc$code_set_name =
        code_set_name: ^ift$code_set_name,
      = ifc$function_key_class =
        function_key_class: ^ift$function_key_class,
      casend,
    recend;

?? PUSH (LISTEXT := ON) ??
*copyc ifc$terminal_constants
*copyc ift$terminal_attribute_keys
*copyc ift$terminal_attribute_types
*copyc ift$terminal_class
*copyc ift$terminal_model
*copyc ift$function_key_class
*copyc ift$code_set_name
?? POP ??
