unit ->
object method box : GObj.widget method print : string -> string -> unit end