c语言写入文件函数