#include <stdint.h>
#define UINT64_C(value)                             ((uint_least32_t)value##ULL)

/*
STDC(199901)
*/