PIPESIZE           15 pipe.c           char data[PIPESIZE];
PIPESIZE           85 pipe.c             while(p->nwrite == p->nread + PIPESIZE){  //DOC: pipewrite-full
PIPESIZE           93 pipe.c             p->data[p->nwrite++ % PIPESIZE] = addr[i];
PIPESIZE          116 pipe.c             addr[i] = p->data[p->nread++ % PIPESIZE];