[单选]  下面程序的运行结果是（）。charc[]="\t\v\\\0will\n";printf("%d",strlen(c));