docs: public long[] finalize128() {
      permuteAndUpdate();
      permuteAndUpdate();
      permuteAndUpdate();
      permuteAndUpdate();
      permuteAndUpdate();
      permuteAndUpdate();
      done = true;
      long[] hash = new long[2];
      hash[0] = v0[0] + mul0[0] + v1[2] + mul1[2];
      hash[1] = v0[1] + mul0[1] + v1[3] + mul1[3];
      return hash;
    }