选择题 23.  有以下程序(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));
    }
    程序运行后的输出结果是______。