xdr_FREE_STATEID4res
if (!xdr_FREE_STATEID4res(xdrs,
extern bool_t xdr_FREE_STATEID4res(XDR *, FREE_STATEID4res*);