
  TYPE
    cst$device_attribute = record
      case key: cst$device_attribute_keys of
      = csc$da_terminal_model_name =
        terminal_model_name_length: 0 .. csc$max_terminal_model_name,
        terminal_model_name: string (csc$max_terminal_model_name),
      = csc$da_screen_dimensions =
        screen_dimensions: cst$screen_dimensions,
      = csc$da_number_of_characters =
        number_of_characters: cst$character_position,
      = csc$da_number_of_lines =
        number_of_lines: cst$line_number,
      = csc$da_fixed_tabs =
        fixed_tabs: cst$fixed_tabs,
      = csc$da_programmable_tabs =
        programmable_tabs: 0 .. csc$max_tab_stops,
      = csc$da_home_at_top =
        home_at_top: boolean,
      = csc$da_has_protect =
        has_protect: boolean,
      = csc$da_tabs_to_unprotected =
        tabs_to_unprotected: boolean,
      = csc$da_has_invisible =
        has_invisible: boolean,
      = csc$da_last_character_scroll =
        last_character_scroll: boolean,
      = csc$da_bell_ack =
        bell_ack: boolean,
      = csc$da_bell_nak =
        bell_nak: boolean,
      = csc$da_physical_highlighting =
        physical_highlighting: cst$physical_highlighting_style,
      = csc$da_color =
        color: cst$color_support,
      = csc$da_picklocate_accuracy =
        picklocate_accuracy: cst$picklocate_accuracy,
      casend,
    recend;

?? PUSH (LISTEXT := ON) ??
*copyc cst$device_attribute_keys
*copyc csc$max_terminal_model_name
*copyc cst$screen_dimensions
*copyc cst$character_position
*copyc cst$line_number
*copyc cst$color_support
*copyc cst$fixed_tabs
*copyc csc$max_tab_stops
*copyc cst$physical_highlighting_style
*copyc cst$picklocate_accuracy
?? POP ??
