以下程序的输出结果是main（){ char s[]="abcdef"; s[3]=’’; printf（"%s" s);}