int a = 0;

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