#include <wchar.h>
REFERENCE(wctype/wint_t.c)
STDC(199409)