external x : t -> float = "ml_GdkEventMotion_x"