i := 1
while i do
	output: i
	i := i + 1
od