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