n class="keywordtype">void</span>
consume_item(<span class="keywordtype">int</span> item)
{
  printf(<span class="stringliteral">"Item %d consumed\n"</span>, item);
}

<span class="keyword">static</span> <span class="keyword">struct </span><a class="code" href="a00006.html">pt_sem</a> full, empty;
 
<span class="keyword">static</span> 
<a class="code" href="a00014.html#g3d4c8bd4aada659eb34f5d2ffd3e7901">PT_THREAD</a>(producer(<span class="keyword">struct</span> pt *pt))
{
  <span class="keyword">