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

/*
STDC(199409)
*/