fun f (a : int) : void = let var a : int in a end