Make wchar_t 32 bits wide to support UTF-32 for C standard compliance