pub type GdkToplevelState = c_uint;