rhuff
(void) rhuff(stdin);
if (rhuff(f) == 0 || read(fileno(f), (char *)hindex,
if (rhuff(f) == 0 ||
int rhuff(FILE *);