typedef __RAL_WCHAR_T wchar_t;
wchar_t holds a single wide character.
Depending on implementation you can control whether wchar_t is represented by a short 16-bit type or the standard 32-bit type.