hbox_state =
      new GPack.box (GtkPack.Box.cast
        (Glade.get_widget_msg ~name:"hbox_state" ~info:"GtkHBox" xmldata))