Symbol: cbor_encode_tag