有以下程序：
void swap(char *x, char *y)
char t;
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