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

/*
STDC(199901)
*/