有以下程序：
main()
{int a=2,b=7;
do {b-=a;a++;}
while (b--<0);
printf ("%d\n",b);
}
我是这样算的：第一次：b=b-a=7-2=5,a=3;(条件成立，因为b--<0),
第二次：b=b-a=5-3=2,a=4;(条件成立，因为b--<0),
第三次：b=b-a=2-4=-2,a=5;条件不成立，所以执行后续语句，b=-2即为所求。但标准答案是4啊，为什么？