mystring = read("file1", String)
open(io->write(io, mystring), "file2", "w")