#include uint32_t hamming_weight(uint32_t value);