external string : t -> string = "ml_GdkEventKey_string"