let compare (x: var) (y: var) : int =
  Tools.compare_int x y