有以下程序(strcat函数用以连接两个字符串)
#include＜stdio.h＞
#include＜string.h＞
main() {
char a[20]="ABCD\0EFG\0"，b[]="IJK"；
strcat(a，b)；
printf("%s\n"，a)；
}
程序运行后的输出结果是（）

A．while(*t= *s){t++；s++；)
B．for(i=0；t[i]=s[i]；i++)；
C．do{*t++=*s++；}while(*s)；
D．for(i=0，j=0；t[i++]=s[j++]；)；

A．if(strcmp(s2，s1)==0)ST；
B．if(s1==s2)ST；
C．if(strcpy(s1，s2)==1)ST；
D．if(s1-s2==0)ST；