PIPESIZE           14 pipe.c           char data[PIPESIZE];
PIPESIZE           84 pipe.c             while(p->nwrite == p->nread + PIPESIZE){  //DOC: pipewrite-full
PIPESIZE           92 pipe.c             p->data[p->nwrite++ % PIPESIZE] = addr[i];
PIPESIZE          115 pipe.c             addr[i] = p->data[p->nread++ % PIPESIZE];