head_bytes
head_bytes(fp, bytecnt);
head_bytes(stdin, bytecnt);
static void head_bytes(FILE *, off_t);