#include <stdio.h>
void main ()
{
int a; /* for loop execution */
for( a = 10; a >= 1; a = a - 2 )
{
printf("value of a: %d\n", a);  // 10
// 9
// 12
}
}