Boolean function write_file(filename : String, content : String)