#include <stdio.h>main() { int a = 10; do { printf("value of a: %d\n", a); a++; } while (a < 20); }
1234567891011121314