docs: public boolean postMortem(PostMortem pm) {
  
  // Go through every integer in the domain, generating its bit sequence, and
  // then prove that that bit sequence produces the same integer.
  
          for (int integer = 0; integer < this.domain; integer += 1) {
              if (!postMortem(integer)) {
                  JSONzip.log("\nBad huff ");
                  JSONzip.logchar(integer, integer);
                  return false;
              }
          }
          return this.table.postMortem(((Huff) pm).table);
      }