int main(void){
char *a = "ABCDE";
char *b = "FGHIJK";

strcat(a, b);

printf("%s\n", a);
return(0);
}

これで実行時、エラーが出ちゃいます。
コンパイルは通るのですが・・・