#include <stdio.h>

/* example of a while */

int main() {

	int j = 7;

	while (j < 20)
	{
		printf("j is %d\n", j);
		j++;
	}

}