若有如下程序段， 其中s、a、b、c均己定义为整型变量.且a、 c均已赋值，c>0。
s:=a;
for b:=1 to c do
s:=s+1;
则与上述程序段功能等价的斌值语句是( )。