# 任务：写一个大于 4KB 的文件

请用 `write_file` 工具（不要用 shell 的 seq/printf/循环生成）一次性写出 `lines.txt`：

- 共 500 行，第 i 行是 `line ` 加上 4 位补零的 i，例如第 1 行 `line 0001`，第 500 行 `line 0500`；
- 每行以换行结尾，文件总长 5000 字节。

然后运行 `make check` 验证；若失败，读输出修正后再验证。最后用一句话说明结果。