span class="lineno">   99</span>    <span class="comment">//      .next&lt;launch&gt;(1,1).apply(...)</span></div>
<div class="line"><a id="l00100" name="l00100"></a><span class="lineno">  100</span>    <span class="comment">//      .pop_range()</span></div>
<div class="line"><a id="l00101" name="l00101"></a><span class="lineno">  101</span>    <span class="comment">//      .wait();</span></div>
<div class="line"><a id="l00102" name="l00102"></a><span class="lineno">  102</span>    T&amp; push_range(<span c