
  VAR
    nav$server_attributes_list: [XREF, OSS$NETWORK_PAGED]
      nat$server_attributes_control;

?? PUSH (LISTEXT := ON) ??
*copyc nat$server_attributes
?? POP ??
