下面的程序　　main( )　　{ int x＝3；　　　do{printf("%d\n"，x-＝2)；}　　　while(!(- -x))；　　}