notebook = new GPack.notebook (GtkPack.Notebook.cast (Glade.get_widget_msg ~name:"notebook" ~info:"GtkNotebook" xmldata))