docs: private void write(Kim kim, Huff huff, Huff ext) throws JSONException {
          for (int at = 0; at < kim.length; at += 1) {
              int c = kim.get(at);
              write(c, huff);
              while ((c & 128) == 128) {
                  at += 1;
                  c = kim.get(at);
                  write(c, ext);
              }
          }
      }