Как внутри работает for:

for i := 0 until n:
	s += a[i]

i := 0
while i < n:
	s += a[i]
	i += 1
