Hi<div><br></div><div>Is the following list construction an efficient one?</div><div><br></div><div><div>flush() -></div><div>    receive</div><div><span class="Apple-tab-span" style="white-space:pre">      </span>Msg -></div>
<div><span class="Apple-tab-span" style="white-space:pre">      </span>    [Msg|flush()]</div><div>    after 17 -></div><div><span class="Apple-tab-span" style="white-space:pre">   </span>    []</div><div>    end.</div></div>
<div><br></div><div><br></div>