external get_key : t -> key_symbol option = "gui_event_adapter_get_key"