xdr_gss_OID_set_desc
|| !xdr_gss_OID_set_desc(xdrs, set))
if (!xdr_gss_OID_set_desc(xdrs, set)) {
xdr_gss_OID_set_desc(xdrs, set);