Type Definition rpi_pico_sdk::wchar_t

type wchar_t = c_int;