Question about "uint32_t"