pub type GdkDeviceToolType = c_int;