关于strcat函数的一个有关问题

关于strcat函数的一个问题
有如下代码，执行后正常输出abcxyz但马上出现应用程序停止工作是什么问题？
求帮忙看一下，谢谢。
#include <stdio.h>
#include <string.h>
int main()
{
char a[4] = {"abc"};
char b[4] = {"xyz"};
printf("%s\n",strcat(a,b));
return 0;
}