let var x := 10 in x := x + 1 end