let var a : int := 1 in a end