
  PROCEDURE [INLINE] jmp$get_recovery_restart_file
    (    server_mainframe_id: pmt$mainframe_id;
     VAR restart_file_name: ost$name);

?? PUSH (LISTEXT := ON) ??

    CONST
      prototype_file_name = 'DFF$system_mmmm_ssss_RESTART';

    restart_file_name := prototype_file_name;
    restart_file_name (4, pmc$mainframe_id_size) := server_mainframe_id;
  PROCEND jmp$get_recovery_restart_file;

*copy jmh$get_recovery_restart_file

*copyc ost$name
*copyc pmt$mainframe_id
?? POP ??
