有如下程序 main（ . { int x=23; do { printf（"%d",x--.;} while（!x.;