11 /* Circular buffer of integers. */
14   int buffer[BUFFER_SIZE];      /* the actual data */  member
20 /* Initialize a buffer */
30 /* Store an integer in the buffer */
34   /* Wait until buffer is not full */  in put()
37   b->buffer[b->writepos] = data;  in put()
40   /* Signal that the buffer contains one more element for reading */  in put()
44 /* Read and remove an integer from the buffer */
49   /* Wait until buffer is not empty */  in get()
52   data = b->buffer[b->readpos];  in get()
55   /* Signal that the buffer has now one more location for writing */  in get()
65 struct prodcons buffer;  variable
72     put(&buffer, n);  in producer()
74   put(&buffer, OVER);  in producer()
82     d = get(&buffer);  in consumer()
94   init(&buffer);  in libc_ex5()