let var x := 100070 in x := x + 1; x end