Complete documentation of hll_counter.h