[单选]  下面程序段的输出结果是（ ）。int a=023;printf("%d\n",--a);