code: def Str1(s):
      """
      Str1(s) is an RE which matches the literal string |s|.
      """
      result = Seq(*tuple(map(Char, s)))
      result.str = "Str(%s)" % repr(s)
      return result
  
imports: from __future__ import absolute_import
  import types
  from .None import Errors
label_desc: Use image node_id 7 for calling a global function with example usage: Str1(s) and returns: result