external insert_page : druid Gtk.obj -> druidpage Gtk.obj -> druidpage Gtk.obj -> unit = "ml_gnome_druid_insert_page"