bufchk
bufchk(aclbuf, (int64_t)aclp->i_isize, aclp->i_number)) {
static int bufchk(char *, int64_t, fsck_ino_t);