contents = read["file:input.txt"] w = new Writer["output.txt"] w.print[contents] w.close[]