‏以下程序运行结果是: ​‏#include [stdio.h]​‏void swap(char *x, char *y);​‏void main()​‏{​‏ char s1[] = "abc", s2[]="123";​‏ swap(s1,s2);​‏ printf("%s,%s\n",s1,s2);​‏}​‏void swap(char *x, char *y)​‏{​‏ char t;​‏ t = *x;​‏ *x = *y;​‏ *y = t;​‏}​‏​
选项：

A:1bc,a23
B:123,abc
C:321,cba
D:abc,123