let var x := 5 var y := x+(x:=x*5;x) in y end