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