pub type GdkPropertyState = c_int;