以下程序运行后的输出结果是 【 9 】 。
#include <stdio.h>
main ()
{ int a=1,b=7;
do {
b=b/2;a+=b;
} while (b>1);
printf("%d\n",a);}
