external append_page : druid Gtk.obj -> druidpage Gtk.obj -> unit = "ml_gnome_druid_append_page"