external get_event_type : t -> event_type = "gui_event_adapter_get_event_type"