                                                                                                              
  PROCEDURE [XREF] dup$read_dump_file                                                                         
    (    file_name_p: ^fst$file_reference;                                                                    
         restart_file_count: integer;                                                                         
     VAR status: ost$status);                                                                                 
                                                                                                              
?? PUSH (LISTEXT := ON) ??                                                                                    
*copyc fst$file_reference                                                                                     
*copyc ost$status                                                                                             
?? POP ??                                                                                                     
