Excerpts from Adam Chlipala's message of Mon Dec 13 01:46:11 +0100 2010: > Thanks. The other important question is whether, when you look at the > code, you also expect it to output two lines, not just one. I don't know. I haven't read the specs. Should I reask the question on the gcc mailinglist? Marc Weber