<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;">Termite seems to pick up the possible I/O and crashes even if I/O is never executed. I therefore suspect a problem in the serialisation of ports but I can't be sure.<br>

</blockquote></div><br>What if you give explicitely the output port with |CURRENT-OUTPUT-PORT|?<br><br>P!<br><br>-- <br>Français, English, 日本語, 한국어<br><br>