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