let compare (a: int) (b: int) = compare a b