KRB5_BADMSGTYPE
else clean_return(KRB5_BADMSGTYPE);
clean_return(KRB5_BADMSGTYPE);
if((*rep)->msg_type != KRB5_TGS_REP) clean_return(KRB5_BADMSGTYPE);
if(msg_type != KRB5_AP_REQ) clean_return(KRB5_BADMSGTYPE);
if(msg_type != KRB5_AP_REP) clean_return(KRB5_BADMSGTYPE);
if((*rep)->msg_type != KRB5_AS_REQ) clean_return(KRB5_BADMSGTYPE);
if((*rep)->msg_type != KRB5_TGS_REQ) clean_return(KRB5_BADMSGTYPE);
if(msg_type != KRB5_SAFE) clean_return(KRB5_BADMSGTYPE);
if(msg_type != KRB5_PRIV) clean_return(KRB5_BADMSGTYPE);
if(msg_type != KRB5_CRED) clean_return(KRB5_BADMSGTYPE);
if(msg_type != KRB5_ERROR) clean_return(KRB5_BADMSGTYPE);
if (t1.tagnum != (tagexpect)) clean_return(KRB5_BADMSGTYPE); \
return KRB5_BADMSGTYPE;
case KRB5_BADMSGTYPE:
if (code == KRB5_BADMSGTYPE)