Sixth revision

Changed names of file_buffer, and changed name of file_intake and return
type.