执行语句printf(“%s”，”Hello”);后，输出字符串”He“