just wondering, why `* 8`? Shouldn't for a 32-bit unsigned the number of bits set of `UINT_MAX` equal to 32 instead of 256?