<div dir="ltr">See also this previous thread on the Racket list.<div class="gmail_quote"><div dir="ltr"><div dir="ltr"><div style="font-size:12pt;font-family:'Calibri'">
<div><a title="http://www.mail-archive.com/users%40racket-lang.org/msg12161.html" href="http://www.mail-archive.com/users%40racket-lang.org/msg12161.html" target="_blank">http://www.mail-archive.com/users%40racket-lang.org/msg12161.html</a></div>
<div> </div>
<div> </div></div></div></div>
</div><br></div>