This section of the GCC manual had some issues with lines in the example overflowing into the right margin of the PDF-format document, but as I looked at it more closely I also saw that it was full of missing or incorrect Texinfo markup, too. I've cleaned it up thusly. -Sandra