loop i != 0 {
	printf("%d\n", i);
}