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