external y : t -> float = "ml_GdkEventMotion_y"