ProducerConsumer: obj SymmetricCoroutineSystemLib.SymmetricCoroutineSystem
BoundedBuffer: Containers.mQueue.Queue
n: var integer
isFull:
out B: var Boolean
q: obj BoundedBuffer
producer: obj SymmetricCoroutine
n: var integer
loop:
consumer: obj SymmetricCoroutine
S: ref String.String
loop: