if (VM.VerifyAssertions) VM.assert(opcode == JBC_newarray);
if (VM.VerifyAssertions) VM._assert(opcode == JBC_newarray);
  public final int getArrayElementType() {    if (VM.VerifyAssertions) VM.assert(opcode == JBC_newarray);    return readUnsignedByte();  }