VM.assert((opcode >= JBC_iload && opcode <= JBC_aload) ||
VM._assert((opcode >= JBC_iload && opcode <= JBC_aload) ||
  public final int getLocalNumber() {    if (VM.VerifyAssertions)      VM.assert((opcode >= JBC_iload && opcode <= JBC_aload) ||                (opcode >= JBC_istore && opcode <= JBC_astore) ||                opcode == JBC_iinc || opcode == JBC_ret);    return readUnsignedByte();  }