uint32_t does not name a type