
  TYPE
    ift$terminal_attribute_keys = (ifc$attention_character,
      ifc$backspace_character, ifc$begin_line_character,
      ifc$cancel_line_character, ifc$carriage_return_delay,
      ifc$carriage_return_sequence, ifc$character_flow_control,
      ifc$code_set, ifc$echoplex, ifc$end_line_character,
      ifc$end_line_positioning, ifc$end_output_sequence,
      ifc$end_page_action, ifc$end_partial_character,
      ifc$end_partial_positioning, ifc$fold_line,
      ifc$form_feed_delay, ifc$form_feed_sequence, ifc$hold_page,
      ifc$hold_page_over, ifc$line_feed_delay,
      ifc$line_feed_sequence, ifc$network_command_character,
      ifc$null_terminal_attribute, ifc$page_length,
      ifc$page_width, ifc$parity, ifc$pause_break_character,
      ifc$status_action, ifc$terminal_class, ifc$terminal_model,
      ifc$terminate_break_character, ifc$terminal_name,
      ifc$control_code_replacement,ifc$code_set_name,
      ifc$function_key_class);

  CONST
    ifc$min_terminal_attribute_key = ifc$attention_character,
    ifc$max_terminal_attribute_key = ifc$function_key_class;


