以下程序的输出结果是( )。
main()
char *s="12134211";
int v1=0,v2=0,v3=0,v4=0,k;
for(k=0；s[k]；k++)
switch(s[k])
case'1'：v1++；
case '3': v3++;
case '2': v2++;
default: v4++;

printf("v1=%d, v2=%d, v3=%d, v4=%d\n",v1,v2,v3,v4);

A．v1=4,v2=2,v3=1,v4=1
B．v1=4,v2=9,v3=3,v4=1
C．v1=5,v2=8,v3=6,v4=1
D．v1=4,v2=7,v3=5,v4=8