#include <stdint.h>
#define UINTMAX_C(value)                                 ((uintmax_t)value##ULL)

/*
STDC(199901)
*/