external get_toplevel : [>`widget] obj -> widget obj
      = "ml_gtk_widget_get_toplevel"