This is extremely old, but I don't believe anyone set the record straight regarding the false premise that a uint32_t does not guarantee exactly 32-bits.

A uint32_t is guaranteed to be exactly 32-bits. If an architecture has no way of meeting that requirement, then a compiler must not make uint32_t available; it would be in violation of C99 if it did.

Just thought this needed to be said. Carry on…