Should wchar be 16-bit, not 32?