else</span> {

        <span class="comment">/*</span>
<span class="comment">         * If the timer expired, we'll open the lock and exit from the</span>
<span class="comment">         * protothread.</span>
<span class="comment">         */</span>
        printf(<span class="stringliteral">"Code lock unlocked.\n"</span>);
        <a class="code" href="a00014.html#g905451249dca72ce0385bf2a9ff178ee">PT_EXIT</a>(pt);
      }
    }
  }

  <span class="comment">/*</span>
<span class="comment">   * 