#include <stdint.h>
typedef short int                                                 int_least16_t;

/*
STDC(199901)
*/