Symbol: insn_value_t