xdr_DESTROY_SESSION4res
if (!xdr_DESTROY_SESSION4res(xdrs,
extern bool_t xdr_DESTROY_SESSION4res(XDR *, DESTROY_SESSION4res*);