1\input texinfo
2@finalout
3@include libc.texinfo
4