Symbol: insn_jal