#include <stdint.h>
#define UINT_FAST64_MAX                                (18446744073709551616ULL)

/*
STDC(199901)
*/