This is the verbatim text of the file .