这个程序是怎么运算的？

 #include<stdio.h>
int main()
{
int x=012;
do
printf("%d\n",x--);
while(--x);
return 0;
}

这个代码是循环输出x-2的值