external x : t -> float = "ml_GdkEventButton_x"