i := 0
while {i < 1'000'000} {i = i + 1}