#include <stdint.h>
#define INT64_C(value)                                ((int_least64_t)value##LL)

/*
STDC(199901)
*/