Re: uint32_t does not name a type