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