xuint32_t