有以下程序（strcpy为字符串复制函数，strcat为字符串连接函数）
#include <stdio.h>
#include <string.h>
main()
{
char a[10]="abc", b[10]="012", c[10]="xyz"；
strcpy (a+1, b+2);
puts (strcat (a, c+1);
}
程序运行后的输出结果是（ ）
bc2yz
a2yz
a12xyz
12yz