> I'm not saying it doesn't ever terminate, I'm saying there is
> neither a return; nor an exit() from main(), and I get random
> numbers. Obviously, as this is undefined behavior, the results will
> vary near-randomly.

Note that this particular bug was fixed minutes after I received the
original bug report, so you won't see it if you have sup'd and rebuilt
since then.

	--jtc