current_kvno
if (ver->kvno == current_kvno(tgt)) {
kdc_verifier.kvno = current_kvno(tgt);
state->ticket_reply.enc_part.kvno = current_kvno(state->server);
ticket_reply.enc_part.kvno = current_kvno(t->server);
if (kvno == current_kvno(tgt)) {
store_32_be(current_kvno(local_tgt), pa->contents + 4);
store_32_be(current_kvno(rock->local_tgt), pa->contents + 4);