external get_current : unit -> GdkEvent.any
    = "ml_gtk_get_current_event"