encode_cntype
encode_cntype(asn1buf *buf, const void *val, size_t len,
return encode_cntype(buf, dataptr, count, counted->basetype, tag_out);