若已包括头文件＜stdio.h＞和＜string.h＞，运行下列程序段时输出结果是( )。
int i=0;
char s1[10]="ABCD",s2[10]="EFG";
strcat(s1,s2);
while(s2[i++]!='\0')
s2[i]=s1[i];
puts(s2);

A) ABC
B) ABCDEF
C) EBCDEFG
D) CBD