This is the @emph{included} file (include-value2.txi) <> ---.