external y : t -> int = "ml_GdkEventConfigure_y"