Symbol: is_jmp_point