external pop_visual : unit -> unit
      = "ml_gtk_widget_pop_visual"