xdr_CB_PUSH_DELEG4res
if (!xdr_CB_PUSH_DELEG4res(xdrs,
extern bool_t xdr_CB_PUSH_DELEG4res(XDR *, CB_PUSH_DELEG4res*);