let var x:int := 1 var y:int := 2 in x := x + y; x end