单项选择题

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

程序运行后的输出结果是( )。

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