#include <wctype.h>
#define WEOF                                                      ((wint_t)(-1))

/*
STDC(199409)
*/