有以下程序： #include＜stdio.h＞ 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:A) abc, 123
B:B) 123, abc
C:C) 1bc, a23
D:D) 321, cba