某算法的部分流程图如图所示，执行这部分流程后，下列说法正确的是（    ）

A、变量x的终值为3

B、变量y的终值为13

C、变量s的终值为8

D、循环体语句执行次数为3次