KRB5KDC_ERR_BAD_PVNO
if(vno != KVNO) return KRB5KDC_ERR_BAD_PVNO; }
if(kvno != KVNO) return KRB5KDC_ERR_BAD_PVNO; }
if(pvno != KVNO) return KRB5KDC_ERR_BAD_PVNO; }
if(kvno != KVNO) clean_return(KRB5KDC_ERR_BAD_PVNO); }
if(kvno != KVNO) clean_return(KRB5KDC_ERR_BAD_PVNO);
if(kvno != KVNO) clean_return(KRB5KDC_ERR_BAD_PVNO); }
if(kvno != KVNO) clean_return(KRB5KDC_ERR_BAD_PVNO); }
if(kvno != KVNO) clean_return(KRB5KDC_ERR_BAD_PVNO); }
if(kvno != KVNO) clean_return(KRB5KDC_ERR_BAD_PVNO); }
if(kvno != KVNO) clean_return(KRB5KDC_ERR_BAD_PVNO); }
if(kvno != KVNO) clean_return(KRB5KDC_ERR_BAD_PVNO); }
return(KRB5KDC_ERR_BAD_PVNO);
return(KRB5KDC_ERR_BAD_PVNO);
return (KRB5KDC_ERR_BAD_PVNO);
ret = KRB5KDC_ERR_BAD_PVNO;