若有如下程序段，其中s、a、b、c均已定义为整型变量，且a、c均已赋值（c 大于0）：
s=a;
for（b=l;b<=c; b++） s = s-1;
则与上述程序段功能等价的赋值语句是？
s=a-c
s=a-b
s=s-c
s=b-c