若有如下程序段，其中 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