#include <stdio.h>
void main () {
   /* local variable definition */
   int a = 10; // init
   /* do loop execution */
   do {
      printf("value of a: %d\n", a);
      a = a + 1;
   }while( a < 2 );
 }