public int allocateArray(VM_Array array, int numElements) {
public Offset allocateArray(VM_Array array, int numElements) {
  public int allocateArray(VM_Array array, int numElements) {    numObjects++;    array.bootCount++;    array.bootBytes += array.getInstanceSize(numElements);    return VM_ObjectModel.allocateArray(this, array, numElements);  }