class="line">            state = FINISHED;</div>
<div class="line">            printf(<span class="stringliteral">&quot;done\r\n&quot;</span>);</div>
<div class="line">            <span class="keywordflow">break</span>;</div>
<div class="line"> </div>
<div class="line">        <span class="keywordflow">case</span> FINISHED:</div>
<div class="line">            <span class="keywordflow">break</span>;</div>
<div class="line">    } <span class="comment">// switch (state)</span></div>
<div class="line">}</div>
<