external add : icon_factory -> string -> icon_set -> unit = "ml_gtk_icon_factory_add"