def BVS(name, size, min=None, max=None, stride=None, uninitialized=False,  <EOL>explicit_name=None, discrete_set=False, discrete_set_max_card=None, **kwargs):
if stride == <NUM_LIT:0> and max != min:<EOL><INDENT>raise ClaripyValueError("<STR_LIT>")<EOL><DEDENT>encoded_name = None<EOL>if type(name) is bytes:<EOL><INDENT>encoded_name = name<EOL>name = name.decode()<EOL><DEDENT>if type(name) is not str:<EOL><INDENT>raise TypeError("<STR_LIT>" % type(name))<EOL><DEDENT>n = _make_name(name, size, False if explicit_name is None else explicit_name)<EOL>if not discrete_set:<EOL><INDENT>discrete_set_max_card = None<EOL><DEDENT>return BV('<STR_LIT>', (n, min, max, stride, uninitialized, discrete_set, discrete_set_max_card), variables={n},<EOL>length=size, symbolic=True, eager_backends=None, uninitialized=uninitialized, encoded_name=encoded_name,<EOL>**kwargs)<EOL>
Creates a bit-vector symbol (i.e., a variable).

If you want to specify the maximum or minimum value of a normal symbol that is not part of value-set analysis, you
should manually add constraints to that effect. **Do not use ``min`` and ``max`` for symbolic execution.**

:param name:            The name of the symbol.
:param size:            The size (in bits) of the bit-vector.
:param min:             The minimum value of the symbol, used only for value-set analysis
:param max:             The maximum value of the symbol, used only for value-set analysis
:param stride:          The stride of the symbol, used only for value-set analysis
:param uninitialized:   Whether this value should be counted as an "uninitialized" value in the course of an
                        analysis.
:param bool explicit_name:   If False, an identifier is appended to the name to ensure uniqueness.
:param bool discrete_set: If True, a DiscreteStridedIntervalSet will be used instead of a normal StridedInterval.
:param int discrete_set_max_card: The maximum cardinality of the discrete set. It is ignored if discrete_set is set
                                  to False or None.

:returns:               a BV object representing this symbol.