Untitled

item nextProduced;
while (1) {
  while (counter == BUFFER_SIZE); /* do nothing */
  buffer[in] = nextProduced;
  in = (in + 1) % BUFFER_SIZE;
  counter++;
}