docs: private static int _escape (final StringBuilder out, final char ch, final int pos)
    {
      if (isEscapeChar (ch))
      {
        out.append (ch);
        return pos + 1;
      }
      out.append ('\\');
      return pos;
    }