let var x:int := 2 in x end