let equal_int x y = (compare_int x y) = 0