#include <stdint.h>

#define UINT64_C(__value)                         ((uint_least32_t)__value##ULL)

/*
STDC(199901)
*/