[Ur] sanity checking

[Marc Weber]

Excerpts from Marc Weber's message of Mon Dec 13 03:06:38 +0100 2010:
> 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.

gcc-4.1.2 and 4.04 behaves the same - it prints one line only.  
Don't think we have to try 3.9

It doesn't matter whether this is a gcc bug or not.
It would be nice if we could trust the result even if gcc contained a
bug. :-/  I've no clue how often this code resulting in bad behaviour is
generated by urweb.

That's one reason why a js target could be nice. because you don't have
to know C extensions ..

You'd get PHP code for free: http://phpjs.berlios.de/
(JS interpreter being written in PHP - joking)

Marc Weber