

void Produce(void)![]()
char c;
while (true) do
![]()
... /* produz o caracter c */
while(!Put(c));
/* insiste ate conseguir colocar no buffer*/
![]()
![]()
void Consume(void)
![]()
char c;
while (true) do
![]()
while(!Get(&c)); /* insiste ... */
... /* consome o caracter c */
![]()
![]()
void main(void)
![]()
cobegin
Produce();
Consume();
coend
![]()