#include <stdint.h>
#define INT_LEAST64_MAX                                  (9223372036854775807LL)

/*
STDC(199901)
*/