ECREC_SIZE
if (readbuf(__G__ (char *)byterec, ECREC_SIZE+4) == 0)
for (G.inptr = G.inbuf+(int)G.ziplen-(ECREC_SIZE+4);
if ((tail_len = G.ziplen % INBUFSIZ) > ECREC_SIZE) {
for (G.inptr = G.inbuf+(int)tail_len-(ECREC_SIZE+4);