ht, only pointing out the differences against</span></div>
<div class="line"><a id="l00198" name="l00198"></a><span class="lineno">  198</span><span class="comment"> * sync_io::Native_handle_receiver -- which are summarized in the preceding paragraph.  All other notes from</span></div>
<div class="line"><a id="l00199" name="l00199"></a><span class="lineno">  199</span><span class="comment"> * sync_io::Native_handle_receiver apply here.</span></div>
<div class="line"><a id="l00200" name="l00200"></a><span cl