xdr_DESTROY_SESSION4args
if (!xdr_DESTROY_SESSION4args(xdrs,
extern bool_t xdr_DESTROY_SESSION4args(XDR *, DESTROY_SESSION4args*);