Symbol: insn_and