cbor_builder_uint64_callback
.uint64 = &cbor_builder_uint64_callback,
void cbor_builder_uint64_callback(void *, uint64_t);