KRB5_FCC_FVNO_2
(data->version == KRB5_FCC_FVNO_2))
(data->version == KRB5_FCC_FVNO_2))
(data->version == KRB5_FCC_FVNO_2)) {
(data->version == KRB5_FCC_FVNO_2))
(data->version != KRB5_FCC_FVNO_2) &&
(data->version == KRB5_FCC_FVNO_2))
(data->version == KRB5_FCC_FVNO_2))
(data->version == KRB5_FCC_FVNO_2))