code: def Str(*strs):
      """
      Str(s) is an RE which matches the literal string |s|.
      Str(s1, s2, s3, ...) is an RE which matches any of |s1| or |s2| or |s3|...
      """
      if len(strs) == 1:
          return Str1(strs[0])
      else:
          result = Alt(*tuple(map(Str1, strs)))
          result.str = "Str(%s)" % ",".join(map(repr, strs))
          return result
  
imports: from __future__ import absolute_import
  import types
  from .None import Errors
label_desc: Use image node_id 8 for calling a global function with example usage: Str() and returns: Str1, result