4. （单选题）若有如下程序段，其中 s、a、b、c均已定义为整型变量，且 a、c 均已赋值（c 大于 0）

s = a；

for (b = 1; b <= c; b++) s = s - 1;

则与上述程序段功能等价的赋值语句是（ ）

{{ select(1) }}

• s = a - c;
• s = a - b;
• s = s - c;
• s = b - c;