write_file fileName string ?string...?
              This  procedure writes the specified strings to the
              named file.

              This procedure is provided by Extended Tcl.