stdint.h  includes UINT32_MAX