docs: def to_valueset(self, state):
          """
          Convert to a ValueSet instance
  
          :param state: A state
          :return: The converted ValueSet instance
          """
          return state.solver.VS(state.arch.bits, self.region, self.region_base_addr, self.address)