external push_visual : Gdk.visual -> unit
      = "ml_gtk_widget_push_visual"