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