VM.assert(opcode == JBC_tableswitch || opcode == JBC_lookupswitch);
VM._assert(opcode == JBC_tableswitch || opcode == JBC_lookupswitch);
  public final void alignSwitch() {    if (VM.VerifyAssertions)      VM.assert(opcode == JBC_tableswitch || opcode == JBC_lookupswitch);    int align = bcIndex & 3;    if (align != 0) bcIndex += 4-align; // eat padding  }