external set_default_visual : Gdk.visual -> unit
      = "ml_gtk_widget_set_default_visual"