通过海量题库、编程比赛和实时排名，系统化提升您的编程能力。
有以下程序(strcpy为字符串复制函数，strcat为字符串连接函数)，
#include <stdio.h> int main() {char a[10]="abc"，b[10]="012"，c[10]="xyz"; strcpy(a+1，b+2); puts(strcat(a，c+1)); }
程序运行后的输出结果是( )。