
  PROCEDURE [XREF] pmp$debug_abort_file_specified (VAR abort_file_specified:
    boolean);
