def StringV(value, length=None, **kwargs):
if length is None:<EOL><INDENT>length = len(value)<EOL><DEDENT>if length < len(value):<EOL><INDENT>raise ValueError("<STR_LIT>")<EOL><DEDENT>result = String("<STR_LIT>", (value, len(value)), length=length, **kwargs)<EOL>return result<EOL>
Create a new Concrete string (analogous to z3.StringVal())

:param value: The constant value of the concrete string

:returns:                    The String object representing the concrete string