replace UINT_MAX by UINT32_MAX