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