code: def escape_string(value):
      
      res = StringIO()
      res.write('"')
      for c in value:
          if c in CHAR_TO_ESCAPE:
              res.write(f'\\{CHAR_TO_ESCAPE[c]}')
          elif c.isprintable():
              res.write(c)
          elif ord(c) < 0x100:
              res.write(f'\\x{ord(c):02x}')
          elif ord(c) < 0x10000:
              res.write(f'\\u{ord(c):04x}')
          else:
              res.write(f'\\U{ord(c):06x}')
      res.write('"')
      return res.getvalue()
docs: Converts a string to its S-expression representation, adding quotes
      and escaping funny characters.