#include <stdint.h>

#define UINTMAX_C(__value)                             ((uintmax_t)__value##ULL)

/*
STDC(199901)
*/