#include <stdio.h> int main () { int x = 20; while(x>10) { printf("x 的值: %d\n",x); x--; } return 0; }