int a = 0;

while(a < 10)
{
    printf("value: %d\n", a);
    a++;
}