有以下程序Void swap(char *x,char *y){chart；t=*x；*x=*y；*y=t；}main(){ char *s1=″abc″,*s2=″123″；swap(s1,s2)；printf(″%s,%s\n″,s1,s2)；}程序执行后的输出结果是（）

A. 123，abc
B. abc，123
C. 1bc，a23
D. 321，cba