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

/*
STDC(199409)
*/