
  TYPE
    cst$device_attribute_keys = (csc$da_terminal_model_name,
          csc$da_screen_dimensions, csc$da_number_of_characters,
          csc$da_number_of_lines, csc$da_fixed_tabs, csc$da_programmable_tabs,
          csc$da_home_at_top, csc$da_has_protect, csc$da_tabs_to_unprotected,
          csc$da_has_invisible, csc$da_last_character_scroll, csc$da_bell_ack,
          csc$da_bell_nak, csc$da_physical_highlighting, csc$da_color,
          csc$da_picklocate_accuracy);
