#include <limits.h>

#if USHRT_MAX > 0x80000000
typedef unsigned short gf2_u32;
#elif UINT_MAX > 0x80000000
typedef unsigned gf2_u32;
#else
typedef unsigned long gf2_u32;
#endif