@@ -671,6 +671,20 @@ token_t *tokenize_string(char *source, size_t *pos, size_t *size) {
break;
default:
+ if (hx) {
+ hx = 0;
+
+ if (strchr("0123456789abcdefABCDEF", nc) != NULL) {
+ buffer_fmt(text, "\\x%x", nc);
+ hx = 1;
+ if (size) (*size)++;
+ continue;
+ }
buffer_append(text, nc);
}