let var i := 1 in when (1>0) do i:=2 end