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