object
  method add : int -> unit
  method inttovar : int -> int
  method size : int
  method vartoint : int -> int
end