Adding upstream version 1.7.3.upstream/1.7.3upstream

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 964 insertions, 0 deletions

diff --git a/dnslabeltext.cc b/dnslabeltext.cc
new file mode 100644
index 0000000..696200c
--- /dev/null
+++ b/dnslabeltext.cc
@@ -0,0 +1,964 @@
+
+#line 1 "dnslabeltext.rl"
+#include <stdlib.h>
+#include <string.h>
+#include <stdio.h>
+#include <unistd.h>
+#include <string>
+#include "dnsname.hh"
+#include "namespaces.hh"
+#include "dnswriter.hh"
+#include "misc.hh"
+
+namespace {
+void appendSplit(vector<string>& ret, string& segment, char c)
+{
+  if(segment.size()>254) {
+    ret.push_back(segment);
+    segment.clear();
+  }
+  segment.append(1, c);
+}
+
+}
+
+vector<string> segmentDNSText(const string& input )
+{
+  // cerr<<"segmentDNSText("<<input<<")"<<endl; 
+
+#line 30 "dnslabeltext.cc"
+static const char _dnstext_actions[] = {
+	0, 1, 0, 1, 1, 1, 2, 1, 
+	3, 1, 4, 1, 5, 2, 0, 1, 
+	2, 4, 5
+};
+
+static const char _dnstext_key_offsets[] = {
+	0, 0, 1, 3, 5, 7, 9, 11, 
+	15
+};
+
+static const unsigned char _dnstext_trans_keys[] = {
+	34u, 34u, 92u, 48u, 57u, 48u, 57u, 48u, 
+	57u, 34u, 92u, 32u, 34u, 9u, 13u, 34u, 
+	0
+};
+
+static const char _dnstext_single_lengths[] = {
+	0, 1, 2, 0, 0, 0, 2, 2, 
+	1
+};
+
+static const char _dnstext_range_lengths[] = {
+	0, 0, 0, 1, 1, 1, 0, 1, 
+	0
+};
+
+static const char _dnstext_index_offsets[] = {
+	0, 0, 2, 5, 7, 9, 11, 14, 
+	18
+};
+
+static const char _dnstext_trans_targs[] = {
+	2, 0, 7, 3, 2, 4, 2, 5, 
+	0, 6, 0, 7, 3, 2, 8, 2, 
+	8, 0, 2, 0, 0
+};
+
+static const char _dnstext_trans_actions[] = {
+	3, 0, 0, 0, 11, 7, 5, 7, 
+	0, 7, 0, 9, 9, 16, 0, 13, 
+	0, 0, 13, 0, 0
+};
+
+static const char _dnstext_eof_actions[] = {
+	0, 0, 0, 0, 0, 0, 0, 1, 
+	1
+};
+
+static const int dnstext_start = 1;
+static const int dnstext_first_final = 7;
+static const int dnstext_error = 0;
+
+static const int dnstext_en_main = 1;
+
+
+#line 30 "dnslabeltext.rl"
+
+	(void)dnstext_error;  // silence warnings
+	(void)dnstext_en_main;
+        const char *p = input.c_str(), *pe = input.c_str() + input.length();
+        const char* eof = pe;
+        int cs;
+        char val = 0;
+
+        string segment;
+        vector<string> ret;
+
+        
+#line 100 "dnslabeltext.cc"
+	{
+	cs = dnstext_start;
+	}
+
+#line 105 "dnslabeltext.cc"
+	{
+	int _klen;
+	unsigned int _trans;
+	const char *_acts;
+	unsigned int _nacts;
+	const unsigned char *_keys;
+
+	if ( p == pe )
+		goto _test_eof;
+	if ( cs == 0 )
+		goto _out;
+_resume:
+	_keys = _dnstext_trans_keys + _dnstext_key_offsets[cs];
+	_trans = _dnstext_index_offsets[cs];
+
+	_klen = _dnstext_single_lengths[cs];
+	if ( _klen > 0 ) {
+		const unsigned char *_lower = _keys;
+		const unsigned char *_mid;
+		const unsigned char *_upper = _keys + _klen - 1;
+		while (1) {
+			if ( _upper < _lower )
+				break;
+
+			_mid = _lower + ((_upper-_lower) >> 1);
+			if ( (*p) < *_mid )
+				_upper = _mid - 1;
+			else if ( (*p) > *_mid )
+				_lower = _mid + 1;
+			else {
+				_trans += (unsigned int)(_mid - _keys);
+				goto _match;
+			}
+		}
+		_keys += _klen;
+		_trans += _klen;
+	}
+
+	_klen = _dnstext_range_lengths[cs];
+	if ( _klen > 0 ) {
+		const unsigned char *_lower = _keys;
+		const unsigned char *_mid;
+		const unsigned char *_upper = _keys + (_klen<<1) - 2;
+		while (1) {
+			if ( _upper < _lower )
+				break;
+
+			_mid = _lower + (((_upper-_lower) >> 1) & ~1);
+			if ( (*p) < _mid[0] )
+				_upper = _mid - 2;
+			else if ( (*p) > _mid[1] )
+				_lower = _mid + 2;
+			else {
+				_trans += (unsigned int)((_mid - _keys)>>1);
+				goto _match;
+			}
+		}
+		_trans += _klen;
+	}
+
+_match:
+	cs = _dnstext_trans_targs[_trans];
+
+	if ( _dnstext_trans_actions[_trans] == 0 )
+		goto _again;
+
+	_acts = _dnstext_actions + _dnstext_trans_actions[_trans];
+	_nacts = (unsigned int) *_acts++;
+	while ( _nacts-- > 0 )
+	{
+		switch ( *_acts++ )
+		{
+	case 0:
+#line 42 "dnslabeltext.rl"
+	{ 
+                        ret.push_back(segment);
+                        segment.clear();
+                }
+	break;
+	case 1:
+#line 46 "dnslabeltext.rl"
+	{ 
+                        segment.clear();
+                }
+	break;
+	case 2:
+#line 50 "dnslabeltext.rl"
+	{
+                  char c = *p;
+                  appendSplit(ret, segment, c);
+                }
+	break;
+	case 3:
+#line 54 "dnslabeltext.rl"
+	{
+                  char c = *p;
+                  val *= 10;
+                  val += c-'0';
+                  
+                }
+	break;
+	case 4:
+#line 60 "dnslabeltext.rl"
+	{
+                  appendSplit(ret, segment, val);
+                  val=0;
+                }
+	break;
+	case 5:
+#line 65 "dnslabeltext.rl"
+	{
+                  appendSplit(ret, segment, *(p));
+                }
+	break;
+#line 220 "dnslabeltext.cc"
+		}
+	}
+
+_again:
+	if ( cs == 0 )
+		goto _out;
+	if ( ++p != pe )
+		goto _resume;
+	_test_eof: {}
+	if ( p == eof )
+	{
+	const char *__acts = _dnstext_actions + _dnstext_eof_actions[cs];
+	unsigned int __nacts = (unsigned int) *__acts++;
+	while ( __nacts-- > 0 ) {
+		switch ( *__acts++ ) {
+	case 0:
+#line 42 "dnslabeltext.rl"
+	{ 
+                        ret.push_back(segment);
+                        segment.clear();
+                }
+	break;
+#line 243 "dnslabeltext.cc"
+		}
+	}
+	}
+
+	_out: {}
+	}
+
+#line 78 "dnslabeltext.rl"
+
+
+        if ( cs < dnstext_first_final ) {
+                throw runtime_error("Unable to parse DNS TXT '"+input+"'");
+        }
+
+        return ret;
+};
+
+
+DNSName::string_t segmentDNSNameRaw(const char* realinput, size_t inputlen)
+{
+
+#line 265 "dnslabeltext.cc"
+static const char _dnsnameraw_actions[] = {
+	0, 1, 0, 1, 1, 1, 2, 1, 
+	3, 1, 4, 1, 5, 2, 1, 5, 
+	2, 4, 0, 2, 4, 5
+};
+
+static const char _dnsnameraw_key_offsets[] = {
+	0, 0, 2, 4, 6, 8, 10, 12
+};
+
+static const unsigned char _dnsnameraw_trans_keys[] = {
+	46u, 92u, 48u, 57u, 48u, 57u, 48u, 57u, 
+	46u, 92u, 46u, 92u, 46u, 92u, 0
+};
+
+static const char _dnsnameraw_single_lengths[] = {
+	0, 2, 0, 0, 0, 2, 2, 2
+};
+
+static const char _dnsnameraw_range_lengths[] = {
+	0, 0, 1, 1, 1, 0, 0, 0
+};
+
+static const char _dnsnameraw_index_offsets[] = {
+	0, 0, 3, 5, 7, 9, 12, 15
+};
+
+static const char _dnsnameraw_trans_targs[] = {
+	0, 2, 5, 3, 5, 4, 0, 7, 
+	0, 6, 2, 5, 0, 2, 5, 6, 
+	2, 5, 0
+};
+
+static const char _dnsnameraw_trans_actions[] = {
+	0, 3, 13, 7, 5, 7, 0, 7, 
+	0, 1, 0, 11, 0, 3, 13, 16, 
+	9, 19, 0
+};
+
+static const char _dnsnameraw_eof_actions[] = {
+	0, 0, 0, 0, 0, 1, 0, 16
+};
+
+static const int dnsnameraw_start = 1;
+static const int dnsnameraw_first_final = 5;
+static const int dnsnameraw_error = 0;
+
+static const int dnsnameraw_en_main = 1;
+
+
+#line 94 "dnslabeltext.rl"
+
+	(void)dnsnameraw_error;  // silence warnings
+	(void)dnsnameraw_en_main;
+
+        DNSName::string_t ret;
+
+        if(!*realinput || *realinput == '.') {
+          ret.append(1, (char)0);
+          return ret;
+        }
+
+        ret.reserve(inputlen+1);
+
+        const char *p = realinput, *pe = realinput + inputlen;
+        const char* eof = pe;
+        int cs;
+        char val = 0;
+        char labellen=0;
+        unsigned int lenpos=0;
+        
+#line 337 "dnslabeltext.cc"
+	{
+	cs = dnsnameraw_start;
+	}
+
+#line 342 "dnslabeltext.cc"
+	{
+	int _klen;
+	unsigned int _trans;
+	const char *_acts;
+	unsigned int _nacts;
+	const unsigned char *_keys;
+
+	if ( p == pe )
+		goto _test_eof;
+	if ( cs == 0 )
+		goto _out;
+_resume:
+	_keys = _dnsnameraw_trans_keys + _dnsnameraw_key_offsets[cs];
+	_trans = _dnsnameraw_index_offsets[cs];
+
+	_klen = _dnsnameraw_single_lengths[cs];
+	if ( _klen > 0 ) {
+		const unsigned char *_lower = _keys;
+		const unsigned char *_mid;
+		const unsigned char *_upper = _keys + _klen - 1;
+		while (1) {
+			if ( _upper < _lower )
+				break;
+
+			_mid = _lower + ((_upper-_lower) >> 1);
+			if ( (*p) < *_mid )
+				_upper = _mid - 1;
+			else if ( (*p) > *_mid )
+				_lower = _mid + 1;
+			else {
+				_trans += (unsigned int)(_mid - _keys);
+				goto _match;
+			}
+		}
+		_keys += _klen;
+		_trans += _klen;
+	}
+
+	_klen = _dnsnameraw_range_lengths[cs];
+	if ( _klen > 0 ) {
+		const unsigned char *_lower = _keys;
+		const unsigned char *_mid;
+		const unsigned char *_upper = _keys + (_klen<<1) - 2;
+		while (1) {
+			if ( _upper < _lower )
+				break;
+
+			_mid = _lower + (((_upper-_lower) >> 1) & ~1);
+			if ( (*p) < _mid[0] )
+				_upper = _mid - 2;
+			else if ( (*p) > _mid[1] )
+				_lower = _mid + 2;
+			else {
+				_trans += (unsigned int)((_mid - _keys)>>1);
+				goto _match;
+			}
+		}
+		_trans += _klen;
+	}
+
+_match:
+	cs = _dnsnameraw_trans_targs[_trans];
+
+	if ( _dnsnameraw_trans_actions[_trans] == 0 )
+		goto _again;
+
+	_acts = _dnsnameraw_actions + _dnsnameraw_trans_actions[_trans];
+	_nacts = (unsigned int) *_acts++;
+	while ( _nacts-- > 0 )
+	{
+		switch ( *_acts++ )
+		{
+	case 0:
+#line 114 "dnslabeltext.rl"
+	{ 
+                        if (labellen < 0 || labellen > 63) {
+                          throw runtime_error("Unable to parse DNS name '"+string(realinput)+"': invalid label length "+std::to_string(labellen));
+                        }
+                        ret[lenpos]=labellen;
+                        labellen=0;
+                }
+	break;
+	case 1:
+#line 121 "dnslabeltext.rl"
+	{ 
+                        lenpos=ret.size();
+                        ret.append(1, (char)0);
+                        labellen=0;
+                }
+	break;
+	case 2:
+#line 127 "dnslabeltext.rl"
+	{
+                  char c = *p;
+                  ret.append(1, c);
+                  labellen++;
+                }
+	break;
+	case 3:
+#line 132 "dnslabeltext.rl"
+	{
+                  char c = *p;
+                  val *= 10;
+                  val += c-'0';
+                }
+	break;
+	case 4:
+#line 137 "dnslabeltext.rl"
+	{
+                  ret.append(1, val);
+                  labellen++;
+                  val=0;
+                }
+	break;
+	case 5:
+#line 143 "dnslabeltext.rl"
+	{
+                  ret.append(1, *(p));
+                  labellen++;
+                }
+	break;
+#line 464 "dnslabeltext.cc"
+		}
+	}
+
+_again:
+	if ( cs == 0 )
+		goto _out;
+	if ( ++p != pe )
+		goto _resume;
+	_test_eof: {}
+	if ( p == eof )
+	{
+	const char *__acts = _dnsnameraw_actions + _dnsnameraw_eof_actions[cs];
+	unsigned int __nacts = (unsigned int) *__acts++;
+	while ( __nacts-- > 0 ) {
+		switch ( *__acts++ ) {
+	case 0:
+#line 114 "dnslabeltext.rl"
+	{ 
+                        if (labellen < 0 || labellen > 63) {
+                          throw runtime_error("Unable to parse DNS name '"+string(realinput)+"': invalid label length "+std::to_string(labellen));
+                        }
+                        ret[lenpos]=labellen;
+                        labellen=0;
+                }
+	break;
+	case 4:
+#line 137 "dnslabeltext.rl"
+	{
+                  ret.append(1, val);
+                  labellen++;
+                  val=0;
+                }
+	break;
+#line 498 "dnslabeltext.cc"
+		}
+	}
+	}
+
+	_out: {}
+	}
+
+#line 164 "dnslabeltext.rl"
+
+
+        if ( cs < dnsnameraw_first_final ) {
+                throw runtime_error("Unable to parse DNS name '"+string(realinput)+"': cs="+std::to_string(cs));
+        }
+        ret.append(1, (char)0);
+        return ret;
+};
+
+// Reads an RFC 1035 character string from 'in', puts the resulting bytes in 'out'.
+// Returns the amount of bytes read from 'in'
+size_t parseRFC1035CharString(const std::string &in, std::string &val) {
+
+  val.clear();
+  val.reserve(in.size());
+  const char *p = in.c_str();
+  const char *pe = p + in.size();
+  int cs = 0;
+  uint8_t escaped_octet = 0;
+  // Keeps track of how many chars we read from the source string
+  size_t counter=0;
+
+/* This parses an RFC 1035 char-string.
+ * It was created from the ABNF in draft-ietf-dnsop-svcb-https-02 with
+ * https://github.com/zinid/abnfc and modified to put all the characters in the
+ * right place.
+ */
+
+#line 535 "dnslabeltext.cc"
+static const char _dns_text_to_string_actions[] = {
+	0, 1, 0, 1, 2, 1, 3, 2, 
+	0, 1
+};
+
+static const char _dns_text_to_string_key_offsets[] = {
+	0, 0, 8, 15, 17, 19, 22, 24, 
+	33, 41, 43, 45, 48, 50, 58
+};
+
+static const char _dns_text_to_string_trans_keys[] = {
+	34, 92, 33, 39, 42, 58, 60, 126, 
+	50, 33, 47, 48, 49, 58, 126, 48, 
+	57, 48, 57, 53, 48, 52, 48, 53, 
+	9, 34, 92, 32, 39, 42, 58, 60, 
+	126, 9, 50, 32, 47, 48, 49, 58, 
+	126, 48, 57, 48, 57, 53, 48, 52, 
+	48, 53, 33, 92, 35, 39, 42, 58, 
+	60, 126, 0
+};
+
+static const char _dns_text_to_string_single_lengths[] = {
+	0, 2, 1, 0, 0, 1, 0, 3, 
+	2, 0, 0, 1, 0, 2, 0
+};
+
+static const char _dns_text_to_string_range_lengths[] = {
+	0, 3, 3, 1, 1, 1, 1, 3, 
+	3, 1, 1, 1, 1, 3, 0
+};
+
+static const char _dns_text_to_string_index_offsets[] = {
+	0, 0, 6, 11, 13, 15, 18, 20, 
+	27, 33, 35, 37, 40, 42, 48
+};
+
+static const char _dns_text_to_string_indicies[] = {
+	2, 3, 0, 0, 0, 1, 5, 0, 
+	4, 0, 1, 6, 1, 7, 1, 8, 
+	6, 1, 7, 1, 9, 10, 11, 9, 
+	9, 9, 1, 9, 13, 9, 12, 9, 
+	1, 14, 1, 15, 1, 16, 14, 1, 
+	15, 1, 0, 3, 0, 0, 0, 1, 
+	1, 0
+};
+
+static const char _dns_text_to_string_trans_targs[] = {
+	13, 0, 7, 2, 3, 5, 4, 13, 
+	6, 7, 14, 8, 9, 11, 10, 7, 
+	12
+};
+
+static const char _dns_text_to_string_trans_actions[] = {
+	3, 0, 5, 5, 1, 1, 1, 7, 
+	1, 3, 5, 5, 1, 1, 1, 7, 
+	1
+};
+
+static const int dns_text_to_string_start = 1;
+static const int dns_text_to_string_first_final = 13;
+static const int dns_text_to_string_error = 0;
+
+static const int dns_text_to_string_en_main = 1;
+
+
+#line 601 "dnslabeltext.cc"
+	{
+	cs = dns_text_to_string_start;
+	}
+
+#line 232 "dnslabeltext.rl"
+
+
+  // silence warnings
+  (void) dns_text_to_string_first_final;
+  (void) dns_text_to_string_error;
+  (void) dns_text_to_string_en_main;
+  
+#line 614 "dnslabeltext.cc"
+	{
+	int _klen;
+	unsigned int _trans;
+	const char *_acts;
+	unsigned int _nacts;
+	const char *_keys;
+
+	if ( p == pe )
+		goto _test_eof;
+	if ( cs == 0 )
+		goto _out;
+_resume:
+	_keys = _dns_text_to_string_trans_keys + _dns_text_to_string_key_offsets[cs];
+	_trans = _dns_text_to_string_index_offsets[cs];
+
+	_klen = _dns_text_to_string_single_lengths[cs];
+	if ( _klen > 0 ) {
+		const char *_lower = _keys;
+		const char *_mid;
+		const char *_upper = _keys + _klen - 1;
+		while (1) {
+			if ( _upper < _lower )
+				break;
+
+			_mid = _lower + ((_upper-_lower) >> 1);
+			if ( (*p) < *_mid )
+				_upper = _mid - 1;
+			else if ( (*p) > *_mid )
+				_lower = _mid + 1;
+			else {
+				_trans += (unsigned int)(_mid - _keys);
+				goto _match;
+			}
+		}
+		_keys += _klen;
+		_trans += _klen;
+	}
+
+	_klen = _dns_text_to_string_range_lengths[cs];
+	if ( _klen > 0 ) {
+		const char *_lower = _keys;
+		const char *_mid;
+		const char *_upper = _keys + (_klen<<1) - 2;
+		while (1) {
+			if ( _upper < _lower )
+				break;
+
+			_mid = _lower + (((_upper-_lower) >> 1) & ~1);
+			if ( (*p) < _mid[0] )
+				_upper = _mid - 2;
+			else if ( (*p) > _mid[1] )
+				_lower = _mid + 2;
+			else {
+				_trans += (unsigned int)((_mid - _keys)>>1);
+				goto _match;
+			}
+		}
+		_trans += _klen;
+	}
+
+_match:
+	_trans = _dns_text_to_string_indicies[_trans];
+	cs = _dns_text_to_string_trans_targs[_trans];
+
+	if ( _dns_text_to_string_trans_actions[_trans] == 0 )
+		goto _again;
+
+	_acts = _dns_text_to_string_actions + _dns_text_to_string_trans_actions[_trans];
+	_nacts = (unsigned int) *_acts++;
+	while ( _nacts-- > 0 )
+	{
+		switch ( *_acts++ )
+		{
+	case 0:
+#line 194 "dnslabeltext.rl"
+	{
+    escaped_octet *= 10;
+    escaped_octet += (*p)-'0';
+    counter++;
+  }
+	break;
+	case 1:
+#line 200 "dnslabeltext.rl"
+	{
+    val += escaped_octet;
+    escaped_octet = 0;
+  }
+	break;
+	case 2:
+#line 205 "dnslabeltext.rl"
+	{
+    val += (*p);
+    counter++;
+  }
+	break;
+	case 3:
+#line 210 "dnslabeltext.rl"
+	{
+    counter++;
+  }
+	break;
+#line 716 "dnslabeltext.cc"
+		}
+	}
+
+_again:
+	if ( cs == 0 )
+		goto _out;
+	if ( ++p != pe )
+		goto _resume;
+	_test_eof: {}
+	_out: {}
+	}
+
+#line 239 "dnslabeltext.rl"
+
+  return counter;
+}
+
+size_t parseSVCBValueListFromParsedRFC1035CharString(const std::string &in, std::vector<std::string> &val) {
+  val.clear();
+  const char *p = in.c_str();
+  const char *pe = p + in.size();
+  int cs = 0;
+  const char* eof = pe;
+  // Keeps track of how many chars we read from the source string
+  size_t counter=0;
+
+  // Here we store the parsed value until we hit a comma or are done
+  std::string tmp;
+
+
+#line 747 "dnslabeltext.cc"
+static const char _dns_text_to_value_list_actions[] = {
+	0, 1, 0, 1, 2, 1, 3, 2, 
+	2, 3, 2, 3, 1
+};
+
+static const char _dns_text_to_value_list_key_offsets[] = {
+	0, 0, 2, 4, 6
+};
+
+static const unsigned char _dns_text_to_value_list_trans_keys[] = {
+	44u, 92u, 44u, 92u, 44u, 92u, 44u, 92u, 
+	0
+};
+
+static const char _dns_text_to_value_list_single_lengths[] = {
+	0, 2, 2, 2, 2
+};
+
+static const char _dns_text_to_value_list_range_lengths[] = {
+	0, 0, 0, 0, 0
+};
+
+static const char _dns_text_to_value_list_index_offsets[] = {
+	0, 0, 3, 6, 9
+};
+
+static const char _dns_text_to_value_list_indicies[] = {
+	1, 2, 0, 3, 3, 1, 1, 2, 
+	0, 4, 2, 0, 0
+};
+
+static const char _dns_text_to_value_list_trans_targs[] = {
+	4, 0, 2, 4, 1
+};
+
+static const char _dns_text_to_value_list_trans_actions[] = {
+	1, 0, 5, 10, 7
+};
+
+static const char _dns_text_to_value_list_eof_actions[] = {
+	0, 0, 0, 0, 3
+};
+
+static const int dns_text_to_value_list_start = 3;
+static const int dns_text_to_value_list_first_final = 3;
+static const int dns_text_to_value_list_error = 0;
+
+static const int dns_text_to_value_list_en_main = 3;
+
+
+#line 798 "dnslabeltext.cc"
+	{
+	cs = dns_text_to_value_list_start;
+	}
+
+#line 288 "dnslabeltext.rl"
+
+
+  // silence warnings
+  (void) dns_text_to_value_list_first_final;
+  (void) dns_text_to_value_list_error;
+  (void) dns_text_to_value_list_en_main;
+  
+#line 811 "dnslabeltext.cc"
+	{
+	int _klen;
+	unsigned int _trans;
+	const char *_acts;
+	unsigned int _nacts;
+	const unsigned char *_keys;
+
+	if ( p == pe )
+		goto _test_eof;
+	if ( cs == 0 )
+		goto _out;
+_resume:
+	_keys = _dns_text_to_value_list_trans_keys + _dns_text_to_value_list_key_offsets[cs];
+	_trans = _dns_text_to_value_list_index_offsets[cs];
+
+	_klen = _dns_text_to_value_list_single_lengths[cs];
+	if ( _klen > 0 ) {
+		const unsigned char *_lower = _keys;
+		const unsigned char *_mid;
+		const unsigned char *_upper = _keys + _klen - 1;
+		while (1) {
+			if ( _upper < _lower )
+				break;
+
+			_mid = _lower + ((_upper-_lower) >> 1);
+			if ( (*p) < *_mid )
+				_upper = _mid - 1;
+			else if ( (*p) > *_mid )
+				_lower = _mid + 1;
+			else {
+				_trans += (unsigned int)(_mid - _keys);
+				goto _match;
+			}
+		}
+		_keys += _klen;
+		_trans += _klen;
+	}
+
+	_klen = _dns_text_to_value_list_range_lengths[cs];
+	if ( _klen > 0 ) {
+		const unsigned char *_lower = _keys;
+		const unsigned char *_mid;
+		const unsigned char *_upper = _keys + (_klen<<1) - 2;
+		while (1) {
+			if ( _upper < _lower )
+				break;
+
+			_mid = _lower + (((_upper-_lower) >> 1) & ~1);
+			if ( (*p) < _mid[0] )
+				_upper = _mid - 2;
+			else if ( (*p) > _mid[1] )
+				_lower = _mid + 2;
+			else {
+				_trans += (unsigned int)((_mid - _keys)>>1);
+				goto _match;
+			}
+		}
+		_trans += _klen;
+	}
+
+_match:
+	_trans = _dns_text_to_value_list_indicies[_trans];
+	cs = _dns_text_to_value_list_trans_targs[_trans];
+
+	if ( _dns_text_to_value_list_trans_actions[_trans] == 0 )
+		goto _again;
+
+	_acts = _dns_text_to_value_list_actions + _dns_text_to_value_list_trans_actions[_trans];
+	_nacts = (unsigned int) *_acts++;
+	while ( _nacts-- > 0 )
+	{
+		switch ( *_acts++ )
+		{
+	case 0:
+#line 259 "dnslabeltext.rl"
+	{
+    tmp += (*p);
+    counter++;
+  }
+	break;
+	case 1:
+#line 264 "dnslabeltext.rl"
+	{
+    tmp += (*p);
+  }
+	break;
+	case 2:
+#line 268 "dnslabeltext.rl"
+	{
+    val.push_back(tmp);
+    tmp.clear();
+    counter++;
+  }
+	break;
+	case 3:
+#line 274 "dnslabeltext.rl"
+	{
+    counter++;
+  }
+	break;
+#line 912 "dnslabeltext.cc"
+		}
+	}
+
+_again:
+	if ( cs == 0 )
+		goto _out;
+	if ( ++p != pe )
+		goto _resume;
+	_test_eof: {}
+	if ( p == eof )
+	{
+	const char *__acts = _dns_text_to_value_list_actions + _dns_text_to_value_list_eof_actions[cs];
+	unsigned int __nacts = (unsigned int) *__acts++;
+	while ( __nacts-- > 0 ) {
+		switch ( *__acts++ ) {
+	case 2:
+#line 268 "dnslabeltext.rl"
+	{
+    val.push_back(tmp);
+    tmp.clear();
+    counter++;
+  }
+	break;
+#line 936 "dnslabeltext.cc"
+		}
+	}
+	}
+
+	_out: {}
+	}
+
+#line 295 "dnslabeltext.rl"
+
+  if ( cs < dns_text_to_value_list_first_final ) {
+          throw runtime_error("Unable to parse DNS SVCB value list '"+in+"'");
+  }
+
+  return counter;
+}
+
+
+#if 0
+int main()
+{
+	//char blah[]="\"blah\" \"bleh\" \"bloeh\\\"bleh\" \"\\97enzo\"";
+  char blah[]="\"v=spf1 ip4:67.106.74.128/25 ip4:63.138.42.224/28 ip4:65.204.46.224/27 \\013\\010ip4:66.104.217.176/28 \\013\\010ip4:209.48.147.0/27 ~all\"";
+  //char blah[]="\"abc \\097\\098 def\"";
+  printf("Input: '%s'\n", blah);
+	vector<string> res=dnstext(blah);
+  cerr<<res.size()<<" segments"<<endl;
+  cerr<<res[0]<<endl;
+}
+#endif