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