
  PROCEDURE [XREF] dmp$verify_access
    (    avti: dmt$active_volume_table_index;
     VAR ok: boolean);

?? PUSH (LISTEXT := ON) ??
*copyc dmt$active_volume_table_index
?? POP ??
