<div class="line"><a id="l00034" name="l00034"></a><span class="lineno">   34</span><span class="comment"> * from a different library. (On Windows, each DLL might use a different</span></div>
<div class="line"><a id="l00035" name="l00035"></a><span class="lineno">   35</span><span class="comment"> * CRT, and FILE* handles can&#39;t be shared across them.) */</span></div>
<div class="line"><a id="l00036" name="l00036"></a><span class="lineno">   36</span> </div>
<div class="line"><a id="l00037" name="l00037"