<div><div dir="auto">Sure, but with a lot more overhead.</div></div><div dir="auto"><br></div><div dir="auto">I’m not a proponent of qualified export.  I just think it would an unproblematic feature to add if we feel it’s important. </div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Feb 21, 2019 at 23:43 Henning Thielemann <<a href="mailto:lemming@henning-thielemann.de">lemming@henning-thielemann.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
On Thu, 21 Feb 2019, Lennart Augustsson wrote:<br>
<br>
> Right.<br>
<br>
Then my suggestion of providing two modules would solve the problem, too. <br>
Right?<br>
</blockquote></div></div>