<div class="gmail_quote">On Tue, Jun 5, 2012 at 1:45 PM, Simon Peyton-Jones <span dir="ltr">&lt;<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">






<div lang="EN-GB" link="blue" vlink="purple">
<div>
<p class="MsoNormal"><span style="font-size:11.0pt;font-family:&quot;Verdana&quot;,&quot;sans-serif&quot;;color:#1f497d">So Andres has explained how to do what Johan asks.  Does that mean that Bas’s problem is solved?</span></p>
</div></div></blockquote><div><br></div><div>I think so - thanks, Andres! I believe that Johan&#39;s problem is another beast entirely. </div></div>