Symbol: jmp_instr