Symbol: is_jmp_insn