KRB5KRB_AP_ERR_TKT_EXPIRED
return KRB5KRB_AP_ERR_TKT_EXPIRED; /* ticket expired */
code = KRB5KRB_AP_ERR_TKT_EXPIRED;
if (code == KRB5KRB_AP_ERR_TKT_EXPIRED)