#include <limits.h>
#define ULLONG_MAX                                     (18446744073709551615ULL)

/* MIN: 18446744073709551615 */

/*
STDC(199901)
*/