external y : t -> float = "ml_GdkEventCrossing_y"