UINT32_MAX is only defined if not found now