#include <stdint.h>
#define INT_FAST16_MIN                                                  (-32768)

/*
STDC(199901)
*/