#include <stdio.h>

main() {
	
	int a = 10;
	
	do {
		printf("value of a: %d\n", a);
		a++;
	} while (a < 20);
	
}