有如下程序main(){intx=;do{printf(“%d”，x–);}while(!x);}该程序的执行结果是