xdr_VERIFY4args
if (!xdr_VERIFY4args(xdrs, &objp->nfs_argop4_u.opverify))
extern bool_t xdr_VERIFY4args(XDR *, VERIFY4args*);