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

/*
STDC(199901)
*/