
  VAR
    duv$execution_environment: [XREF] dut$execution_environment;

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