function write_files()
 {
 }