external atom : t -> atom = "ml_GdkEventProperty_atom"