docs: def Unconstrained(self, name, bits, uninitialized=True, inspect=True, events=True, key=None, eternal=False, **kwargs):
          """
          Creates an unconstrained symbol or a default concrete value (0), based on the state options.
  
          :param name:            The name of the symbol.
          :param bits:            The size (in bits) of the symbol.
          :param uninitialized:   Whether this value should be counted as an "uninitialized" value in the course of an
                                  analysis.
          :param inspect:         Set to False to avoid firing SimInspect breakpoints
          :param events:          Set to False to avoid generating a SimEvent for the occasion
          :param key:             Set this to a tuple of increasingly specific identifiers (for example,
                                  ``('mem', 0xffbeff00)`` or ``('file', 4, 0x20)`` to cause it to be tracked, i.e.
                                  accessable through ``solver.get_variables``.
          :param eternal:         Set to True in conjunction with setting a key to cause all states with the same
                                  ancestry to retrieve the same symbol when trying to create the value. If False, a
                                  counter will be appended to the key.
  
          :returns:               an unconstrained symbol (or a concrete value of 0).
          """
          if o.SYMBOLIC_INITIAL_VALUES in self.state.options:
              # Return a symbolic value
              if o.ABSTRACT_MEMORY in self.state.options:
                  l.debug("Creating new top StridedInterval")
                  r = claripy.TSI(bits=bits, name=name, uninitialized=uninitialized, **kwargs)
              else:
                  l.debug("Creating new unconstrained BV named %s", name)
                  if o.UNDER_CONSTRAINED_SYMEXEC in self.state.options:
                      r = self.BVS(name, bits, uninitialized=uninitialized, key=key, eternal=eternal, inspect=inspect, events=events, **kwargs)
                  else:
                      r = self.BVS(name, bits, uninitialized=uninitialized, key=key, eternal=eternal, inspect=inspect, events=events, **kwargs)
  
              return r
          else:
              # Return a default value, aka. 0
              return claripy.BVV(0, bits)