Symbol: insn_bltz