ecb_popcount32
return ecb_popcount32 (x) + ecb_popcount32 (x >> 32);
ecb_function_ ecb_const int ecb_popcount32 (uint32_t x);