external state : t -> int = "ml_GdkEventProperty_state"