/* From stdint.h:
#define UINTMAX_MAX    18446744073709551615

... except that the compiler rejects integer literals bigger than ULONG_MAX, which is 32 bits on windows :)
*/
#include <stdint.h>
#include <limits.h>
int main()
{
    uintmax_t m64 = UINT64_C(UINTMAX_MAX); /* kludge */
    uintmax_t m = UINTMAX_MAX;
    (void)m64;
    return m ? 0 : 1;
}


Fwiw, I'm using the free version out of curiosity -- no idea if it's been fixed in the paid version

Regards