#include <stdint.h>
#define INT16_MAX                                                        (32767)

/*
STDC(199901)
*/