以下程序段的输出结果是（）chars[]=”\abct”;printf(“%d”，strlen(s));