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