以下程序段的输出结果是（）chars[]=”vwxyzx″;printf(“%dn”，strlen(s));ABCD