
  PROCEDURE [XREF] dup$determine_dump_information
    (VAR dump_information: dut$dump_information);

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