uint -> uint32_t