external x : t -> float = "ml_GdkEventCrossing_x"