有以下程序(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));
}
程序运行后的输出结果是（　　）。

A.a12xyz

B.12yz

C.a2yz

D.bc2yz