amp;codelock_timer));

      <span class="comment">/*</span>
<span class="comment">       * If we continued from the PT_WAIT_UNTIL() statement without</span>
<span class="comment">       * the timer expired, we don't open the lock.</span>
<span class="comment">       */</span>
      <span class="keywordflow">if</span>(!timer_expired(&amp;codelock_timer)) {
        printf(<span class="stringliteral">"Key pressed during final wait, code lock locked again.\n"</span>);
      } <span class="keywordflow">