while(1)</span>
<span class="comment">         * loop instead.</span>
<span class="comment">         */</span>
        <span class="keywordflow">if</span>(timer_expired(&amp;codelock_timer)) {
          printf(<span class="stringliteral">"Code lock timer expired.\n"</span>);
          
          <span class="comment">/*</span>
<span class="comment">           * Break out from the for() loop and start from the</span>
<span class="comment">           * beginning of the while(1) loop.</span>
<span cla