设char str1[10] = “ABCDE”, str2[10] = “xyz”;
则执行语句 printf(“%d”, strlen(strcpy(str1, str2))); 后的输出结果是（ ）。
9
8
5
3