krb5_verify_token
p = krb5_verify_token("\x01\x01", tlen, &mic, &elen, FALSE);
p = krb5_verify_token("\x02\x01", tlen, &m, &elen, TRUE);