docs: public void write(int value, BitWriter bitwriter) throws JSONException {
          this.width = 0;
          write(this.symbols[value], bitwriter);
          tick(value);
          if (JSONzip.probe) {
              JSONzip.logchar(value, this.width);
          }
      }