let var x := 0 in when x = 0 do x := x + 1 end