  PROCEDURE [XREF] pup$verify_volume_list (volume_list: array [1 .. * ] OF rmt$recorded_vsn;
    VAR status: ost$status);
?? PUSH (LISTEXT := ON) ??
*copyc ost$status
*copyc rmd$volume_declarations
?? POP ??
