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