#include <stdint.h>
#define UINTMAX_MAX                                    (18446744073709551615ULL)

/*
STDC(199901)
*/