#include <stdint.h>
#define WINT_MIN                                                   (-2147483648)

/*
STDC(199901)
*/