external get_current_event_time : unit -> int32
    = "ml_gtk_get_current_event_time"