pub type GdkX11DeviceType = c_int;