pub type wchar_t = i32;
The wchar_t type provided in stddef.h, see https://pubs.opengroup.org/onlinepubs/9799919799/basedefs/stddef.h.html.
wchar_t
stddef.h