def make_symbolic_value(self, nbits=<NUM_LIT>, name=None):
avoid_collisions = False<EOL>if name is None:<EOL><INDENT>name = '<STR_LIT>'<EOL>avoid_collisions = True<EOL><DEDENT>return self.constraints.new_bitvec(nbits, name=name, avoid_collisions=avoid_collisions)<EOL>
Creates a symbolic value, normally a uint256, to be used in transactions.
            You can operate on it normally and add constraints to manticore.constraints
            via manticore.constrain(constraint_expression)

            Example use::

                symbolic_value = m.make_symbolic_value()
                m.constrain(symbolic_value > 100)
                m.constrain(symbolic_value < 1000)
                m.transaction(caller=attacker_account,
                                address=contract_account,
                                data=data,
                                value=symbolic_value )