  TYPE
    dut$symbol_entry = record
      table_entry_index: llt$symbol_number,
      symbol: ^llt$symbol_table_item,
    recend;

?? PUSH (LISTEXT := ON) ??
*copyc llt$debug_symbol_table
?? POP ??
