let var x := 5 var y : int := 7 in x := y + x; y end