#include <stdint.h>
#define WCHAR_MIN                                                            (0)

/*
STDC(199901)
*/