程序int s=7;while(--s);s=s-2;printf("s=%d\n",s)的输出结果是多少?为什么?