docs: private void writeName(String name) throws JSONException {
  
  // If this name has already been registered, then emit its integer and
  // increment its usage count.
  
          Kim kim = new Kim(name);
          int integer = this.namekeep.find(kim);
          if (integer != none) {
              one();
              write(integer, this.namekeep);
          } else {
  
  // Otherwise, emit the string with Huffman encoding, and register it.
  
              zero();
              write(kim, this.namehuff, this.namehuffext);
              write(end, namehuff);
              this.namekeep.register(kim);
          }
      }