dowhile.c:

main()
{
    int x = 0;

    do
    {
        printf("%d\n", x);
        x = x - 1;
    } while (x > 0);
}