public static final void boot (VM_BootRecord theBootRecord) {
public static final void boot (VM_BootRecord theBootRecord) throws VM_PragmaInterruptible {
  public static final void boot (VM_BootRecord theBootRecord) {    VM_Allocator.boot(theBootRecord);    VM_GCStatistics.boot();  }