docs: private void processVer1(final Memory skMem) {
      final long thetaLongIn = skMem.getLong(THETA_LONG);
      unionThetaLong_ = min(unionThetaLong_, thetaLongIn); //Theta rule
      final int curCount = skMem.getInt(RETAINED_ENTRIES_INT);
      final int preLongs = 3;
      for (int i = 0; i < curCount; i++ ) {
        final int offsetBytes = (preLongs + i) << 3;
        final long hashIn = skMem.getLong(offsetBytes);
        if (hashIn >= unionThetaLong_) { break; } // "early stop"
        gadget_.hashUpdate(hashIn); //backdoor update, hash function is bypassed
      }
      unionThetaLong_ = min(unionThetaLong_, gadget_.getThetaLong()); //Theta rule
      unionEmpty_ = unionEmpty_ && gadget_.isEmpty();
    }