#includeintmain(){intx=;doprintf(“%d”，x–);while(–x);return;}上面程序的运行结果是ABCD