ConsumerModule: obj %requires BufferModule %visible BufferModule %public Consumer: Process in buf: ref Buffer V: var integer