Use uint32_t rather than uint