xdr_FREE_STATEID4args
if (!xdr_FREE_STATEID4args(xdrs,
extern bool_t xdr_FREE_STATEID4args(XDR *, FREE_STATEID4args*);