xdr_CB_PUSH_DELEG4args
if (!xdr_CB_PUSH_DELEG4args(xdrs,
extern bool_t xdr_CB_PUSH_DELEG4args(XDR *, CB_PUSH_DELEG4args*);