#include <wchar.h>
#define WCHAR_MAX                                                     (0x10FFFF)

/*
STDC(199409)
*/