Symbol: insn_beq