pub type GpioChangeCounter = *mut c_void;