OPCODE_J
KASSERT((insn >> (26+1)) == (OPCODE_J >> 1));
insn, opcode == OPCODE_J ? "j" : "jal",
*insnp, opcode == OPCODE_J ? "j" : "jal",
if ((opcode != OPCODE_J && opcode != OPCODE_JAL)