
  PROCEDURE [XREF] mmp$initialize_boot_pages
    (VAR lower_bound: integer;
     VAR upper_bound: integer);
