let
compare_int (x : int) y = compare x y