def Str1(s):
 result = Seq(*tuple(map(Char, s)))
 result.str = ('Str(%s)' % repr(s))
 return result

def Str1 ( s ) : result = Seq ( * tuple ( map ( Char , s ) ) ) result . str = ( 'Str(%s)' % repr ( s ) ) return result
str1(s) is an re which matches the literal string |s| .