Symbol: jmp_type