#include <stdint.h> uint32_t hamming_weight(uint32_t value);