  PROCEDURE [XREF] cmp$verify_active_path_exists
    (    physical_address: cmt$physical_address;
     VAR active_path_exists: boolean);

?? PUSH (LISTEXT := ON) ??
*copyc cmt$physical_address
?? POP ??

