a = 0;
while a < 10 do
	{
		print( "a = %d\n", a );
		a = a + 1;
	}
