code: 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);
          }
      }
docs: Write the bits corresponding to a symbol. The weight of the symbol will
  be incremented.
  
  @param value
  The number of the symbol to write
  @param bitwriter
  The destination of the bits.
  @throws JSONException