Type Definition rpi_pico_sdk_sys::ctypes::c_int

type c_int = i32;