pub type gpio_int_type_t = c_uint;