pln("#define VM_Extent uint64_t");
  private static void emitStuff() {    p("/*------ MACHINE GENERATED by ");    p("GenerateInterfaceDeclarations.java: DO NOT EDIT");    p("------*/\n\n");    pln("#if defined NEED_BOOT_RECORD_DECLARATIONS || defined NEED_VIRTUAL_MACHINE_DECLARATIONS");    pln("#include <inttypes.h>");    if (VM.BuildFor32Addr) {      pln("#define VM_Address uint32_t");      pln("#define VM_Offset int32_t");      pln("#define VM_Word uint32_t");      pln("#define JavaObject_t uint32_t");    } else {      pln("#define VM_Address uint64_t");      pln("#define VM_Offset int64_t");      pln("#define VM_Word uint64_t");      pln("#define JavaObject_t uint64_t");    }    pln("#endif /* NEED_BOOT_RECORD_DECLARATIONS || NEED_VIRTUAL_MACHINE_DECLARATIONS */");    pln();    pln("#ifdef NEED_BOOT_RECORD_DECLARATIONS");    emitBootRecordDeclarations();    pln("#endif /* NEED_BOOT_RECORD_DECLARATIONS */");    pln();    pln("#ifdef NEED_BOOT_RECORD_INITIALIZATION");    emitBootRecordInitialization();    pln("#endif /* NEED_BOOT_RECORD_INITIALIZATION */");    pln();    pln("#ifdef NEED_GNU_CLASSPATH_VERSION");    // version of the classpath library from gnu.classpath.configuration    p("static const char*classpath_version                        = \""                     + gnu.classpath.Configuration.CLASSPATH_VERSION +"\";\n");    pln("#endif /* NEED_GNU_CLASSPATH_VERSION */");    pln();    pln("#ifdef NEED_VIRTUAL_MACHINE_DECLARATIONS");    emitVirtualMachineDeclarations(bootImageAddress);    pln("#endif /* NEED_VIRTUAL_MACHINE_DECLARATIONS */");    pln();    pln("#ifdef NEED_EXIT_STATUS_CODES");    emitExitStatusCodes();    pln("#endif /* NEED_EXIT_STATUS_CODES */");    pln();    pln("#ifdef NEED_ASSEMBLER_DECLARATIONS");    emitAssemblerDeclarations();    pln("#endif /* NEED_ASSEMBLER_DECLARATIONS */");    pln("#ifdef NEED_MM_INTERFACE_DECLARATIONS");    pln("#define MAXHEAPS " + com.ibm.JikesRVM.memoryManagers.mmInterface.MM_Interface.getMaxHeaps());    pln("#endif /* NEED_MM_INTERFACE_DECLARATIONS */");    pln();  }