k5_asn1_encode_uint
k5_asn1_encode_uint(buf, load_uint(val, a->size));
void k5_asn1_encode_uint(asn1buf *buf, uintmax_t val);
k5_asn1_encode_uint(buf, val);