#include <stdio.h>int main(){ int a = 1; do { a++; printf("a = %d\n", a); } while (a < 10); return 0;}