docs: private void write(Symbol symbol, BitWriter bitwriter)
              throws JSONException {
          try {
              Symbol back = symbol.back;
              if (back != null) {
                  this.width += 1;
                  write(back, bitwriter);
                  if (back.zero == symbol) {
                      bitwriter.zero();
                  } else {
                      bitwriter.one();
                  }
              }
          } catch (Throwable e) {
              throw new JSONException(e);
          }
      }