object
  method box : GPack.box
  method close : unit
  method init_window : GWindow.window -> unit
end