  TYPE
    dut$variable_specification = RECORD
      name: pmt$program_name,
      symbol_entry: dut$symbol_entry,
      original_symbol_entry: dut$symbol_entry,
      address: ost$pva,
      length: ost$segment_length,
      bit_offset: 0 .. byte_size,
      length_is_bits: boolean,
      range_specified: boolean,
      contains_non_literal_qualifiers: boolean,
      low_value: integer,
      high_value: integer,
      descriptor_address: ost$pva,
      attribute: dut$variable_attribute,
      max_string_length: llt$string_length_range,
      constant_value: boolean,
      array_section_specified: boolean,
      stack_frame_ptr_for_base_var: ^ost$stack_frame_save_area,
    RECEND;

?? PUSH (LISTEXT := ON) ??
*copyc cyd$machine_definitions
*copyc dut$variable_attribute
*copyc llt$debug_symbol_table
*copyc osd$virtual_address
*copyc ost$stack_frame_save_area
*copyc pmt$program_name
?? POP ??
