int --> uint32_t