

          read_file fileName
               Read the named file and returns the contents as a
               string.
