以下程序段的输出结果是 int x=3; do { printf("%3d",x-=2); }while(!(--x));