

          write_file fileName stringVar
               Writes the specified string to the named file.
