Replace Uint32 by uint32_t.