val main = fn x : int => fn y : int => x