<div dir="ltr">Eduard;<br><br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">weird... I do get a &quot;bus error&quot; now.<br>

I am on OS X (intel)<div><div></div><div class="Wj3C7c"></div></div></blockquote><div><br>&nbsp;</div><div>Curiouser and curiouser! After such a bug I shall think nothing of the grasshopper I found on my keyboard last week¹.<br>
</div></div><br>Yours,<br>Kas.<br><br>¹3cm long bright green grasshoppers aren&#39;t native to urban areas in The Netherlands, perhaps some of you see them every day but I don&#39;t...<br></div>