for a = 0 to 9 do
	print( "a = %d\n", a );
