We don't define HAVE_STDINT_H anywhere and it should be more safe using
 the system's definition of UINT32_MAX.