#include <stdio.h>
int main () {
/* local variable definition */
int a = 10; /* do loop execution */
LOOP:do {
if( a == 15)
{
a = a + 1;
printf("We are at GOTO");
goto LOOP;
}
printf("value of a: %d\n", a);
a++;
}
while( a < 20 );
}