docs: public int getAccessCountCeiling(int count, int margin) {
          return ArrayCounter.rank(accessTable, hashIndex.newNodePointer, count,
                                   accessMin + 1, accessCount, margin);
      }