if (VM.VerifyAssertions) VM.assert(opcode == JBC_anewarray);
if (VM.VerifyAssertions) VM._assert(opcode == JBC_anewarray);
  public final VM_Type getObjectArrayType(VM_Type klass) {    if (VM.VerifyAssertions) VM.assert(opcode == JBC_anewarray);    return klass.getArrayTypeForElementType();  }