</a>
<dt><pre><span class="Keyword">proc</span> <a href="#downloadFile%2CUri%2Cstring"><span class="Identifier">downloadFile</span></a><span class="Other">(</span><span class="Identifier">url</span><span class="Other">:</span> <span class="Identifier">Uri</span><span class="Other">;</span> <span class="Identifier">filename</span><span class="Other">:</span> <span class="Identifier">string</span><span class="Other">)</span> {.<span><span class="Other pragmadots">...</span></span><span class="pragmawrap"><spa