fixed Uint -> uint32_t