有以下程序：#include<stdio.h> mai

#include<stdio.h>
main()
{
    int x=23;
    do
    {
        printf("%2d\n",x--);
    }
    while(!x);
}