OPC_B
if (opcode != OPC_B || stub < stub_start || stub_end <= stub)
KASSERT(instr.i_any.i_opcd == OPC_B);