#include <stdint.h>
#define INT_FAST64_MIN                                  (-9223372036854775808LL)

/*
STDC(199901)
*/