下面程序的输出是( ) main() { char *a="12134211"; int v1=0,v2=0,v3=0,v4=0,k; for(k=0;a[k];k++) switch(a[k]) { default:v4++; case '1': v1++; case '3': v3++; case '2': v2++; } 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=8,v2=8,v3=8,v4=8