<div class="gmail_quote">On Wed, Nov 17, 2010 at 23:14, Barry Smith <span dir="ltr"><<a href="mailto:bsmith@mcs.anl.gov">bsmith@mcs.anl.gov</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
proper code generation</blockquote></div><br><div>Shudder.  Does that exist?</div><div><br></div><div>Jed</div>