#include    
int main () {     
    /* local variable definition */    
    int a = 0;     
    
    /* while loop execution */    
    while( a < 25 ) {       
    printf("value of a: %d\n", a);       
    a++;    
    }     
    return 0; 
}