object
  method box : GObj.widget
  method label : string
  method name : string
  method on_destroy : unit
  method set_label : string -> unit
end