单项选择题

有以下程序(strcat函数用于连接两个字符串):#include<stdio.h>#include<string.h>main(){char a[20]="ABCD\0EFG\0",b[]="IJK";strcat(a,b);printf("%s\n",a);}程序的运行结果是( )。

A.IJK
B.ABCDE\0FG\0IJK
C.ABCDIJK
D.EFGIJK