int pageSize = VM_Memory.getPagesize();
  public static final void boot(VM_BootRecord theBootRecord)    throws InterruptiblePragma {    int pageSize = VM_Memory.getPagesize();  // Cannot be determined at init-time    Mmapper.markAsMapped(BOOT_IMAGE_DATA_START, BOOT_IMAGE_DATA_SIZE);    Mmapper.markAsMapped(BOOT_IMAGE_CODE_START, BOOT_IMAGE_CODE_SIZE);    HeapGrowthManager.boot(theBootRecord.initialHeapSize, theBootRecord.maximumHeapSize);    DebugUtil.boot(theBootRecord);    SelectedPlan.get().boot();    SynchronizedCounter.boot();    Monitor.boot();  }