__wchar_t
intmax_t wcstoimax(const __wchar_t * __restrict,
__wchar_t ** __restrict, int);
uintmax_t wcstoumax(const __wchar_t * __restrict,
__wchar_t ** __restrict, int);
typedef __wchar_t wchar_t;
typedef __wchar_t wchar_t;
typedef __wchar_t wchar_t;
typedef __wchar_t wchar_t;
__wchar_t _ungetwc_buf[FILE_UNGETWC_BUFSIZE];
BUILTIN __size_t wcslen(const __wchar_t *);