e></p><p>the loop will iterate as many times as the file size, but the control variable <code>c</code> does not have that value. In these cases, it assigns a symbolic value of the file size to the modeled range of <code>c</code>, which is used when calculating the overall cost.</p></header><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code></dt></dl><dl><dt class="spec value" id="val-of_big_int"><a href="#val-of_big_int" class="anchor">