Symbol: J_INSN