krb5_make_token
p = krb5_make_token("\x02\x01", tlen, datalen + tlen, &tm);
p = krb5_make_token("\x01\x01", tlen, tlen, &mic);