#include <stdio.h>
int main( void )
{
    int j;
    j = 0;
    while ( j < 5 )
    {
        printf( "j has the value %d \n", j );
        j = j + 1;
    }
}