external get_time : [< timed] event -> int32
    = "ml_gdk_event_get_time"