<br><br><div><span class="gmail_quote"></span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><br>This fixes the bug: symbol_put_addr was never called.
</blockquote><div><br><br>Thanks, Oliver. <br></div><br></div><br>