Finish transforming 'u32' to 'uint32_t'.