docs: public static int[] standardAsciiEscapesForJSON()
      {
          int[] esc = CharTypes.get7BitOutputEscapes();
          int len = esc.length;
          int[] result = new int[len];
          System.arraycopy(esc, 0, result, 0, esc.length);
          return result;
      }