BTW, I have published an updated version of JNIPort which partly resolves the performance issue caused by using #become:. <br>
<br>
Joachim <br>
-- <br>
My OpenPGP Key: 29F88108 available from hkp://<a href="http://wwwkeys.de.pgp.net">wwwkeys.de.pgp.net</a><br>