k5_asn1_encode_int
k5_asn1_encode_int(buf, load_int(val, a->size));
k5_asn1_encode_int(buf, imm->val);
void k5_asn1_encode_int(asn1buf *buf, intmax_t val);
k5_asn1_encode_int(buf, val);