ZIPFSIZE
for (j = ZIPFSIZE; j > 1; j--)
(void) printf(">%d-%6d\n", ZIPFSIZE, zipf[0]);
if (numpost <= ZIPFSIZE)
static int zipf[ZIPFSIZE + 1];