单项选择题

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

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