编辑代码

#include <stdio.h>

int main ()

{
    int x = 20;
    while(x>10)
    {
        printf("x 的值: %d\n",x);
        x--;
    }
    return 0;
}