external
get_current_event_time : unit
->
int32
=
"ml_gtk_get_current_event_time"