WCHAR_MAX         587 lib/stdint.in.h # undef WCHAR_MAX
WCHAR_MAX         595 lib/stdint.in.h # define WCHAR_MAX  \