Use uint32, not uint32_t.