#include <stdint.h>
REFERENCE(wchar/WCHAR_MAX.c)
STDC(199901)