This is a document which contains
here below an include file:

This is the end of the document containing the include file.