intx=;do{　printf(“%d”，x=);}while(!(–x));