
  PROCEDURE [XREF] dup$retrieve_register
    (    element: dut$de_element;
         element_index: 0 .. 0ff(16);
         register_number: 0 .. duc$de_max_register_number;
     VAR register: dut$de_maintenance_register);

?? PUSH (LISTEXT := ON) ??
*copyc dut$dump_environment
?? POP ??
