问题：
[单选题]
有以下程序： （strcat用于连接两个字符串）
| 1 | #include <stdio.h> |
| 1 | #include <string.h> |
| 1 | main() |
| 1 | { |
| 1 | char a[20]="ABCD\0EFG\0",b[]="IJK"; |
| 1 | strcat(a,b); |
| 1 | printf("%s\n",a); |
| 1 | } |
程序的运行结果是（）
AIJK
BABCDE\0FG\0IJK
CABCDIJK
DEFGIJK
