Type Definition libc_interface::wchar_t

type wchar_t = i32;