Symbol: INSN_READ