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