]boxing 8
      s ← """
→          abc
→            def
→
→              GHIJK
→                       """
      s