Use uint32_t