通过海量题库、编程比赛和实时排名，系统化提升您的编程能力。
有以下程序（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)); }
程序运行后的输出结果是（）。