cbor_encode_uint64
_CBOR_NODISCARD CBOR_EXPORT size_t cbor_encode_uint64(uint64_t, unsigned char *,
return cbor_encode_uint64(cbor_get_uint64(item), buffer, buffer_size);