pan></div>
<div class="line"><a id="l00039" name="l00039"></a><span class="lineno">   39</span><span class="comment"> * Therefore we keep the documentation very light, only pointing out the differences against</span></div>
<div class="line"><a id="l00040" name="l00040"></a><span class="lineno">   40</span><span class="comment"> * sync_io::Native_handle_sender -- which are summarized in the preceding paragraph.  All other notes from</span></div>
<div class="line"><a id="l00041" name="l00041"></a><span class=