int numElements) {
int numElements) throws VM_PragmaInterruptible {
  public static int allocateArray(BootImageInterface bootImage, 				  VM_Array array,				  int numElements) {    Object[] tib = array.getTypeInformationBlock();    int size = array.getInstanceSize(numElements);    boolean align = array.getElementType().isClassType(); // Approximation for "is it an array of Object[]?", ie a TIB pointer    int ptr = align ? bootImage.allocateAlignedStorage(size) : bootImage.allocateStorage(size);    int ref = VM_JavaHeader.initializeArrayHeader(bootImage, ptr, tib, size);    bootImage.setFullWord(ref + getArrayLengthOffset(), numElements);    VM_AllocatorHeader.initializeHeader(bootImage, ref, tib, size, false);    VM_MiscHeader.initializeHeader(bootImage, ref, tib, size, false);    return ref;  }