Lines Matching full:write_file
2236 (write_file): New helper function to write a string into a file.
