% Remember to use the lgrind style

\File{include\_redirection\_example.k},{14:54},{Jul 22 1996}
\L{\LB{\%\{_\V{KC\_TYPES\_HEADER}}}
\L{\LB{____\C{}\1\* Include this in k.h, and thus in every generated file. \*\1\CE{}}}
\L{\LB{\%\}}}
