let var x := 0 var y := x in y := x + 1; x := y + 2; x + 3 end