json 2.9.0 → 2.11.3

data/ext/json/ext/parser/parser.c

@@ -1,36 +1,49 @@
-/* This file is automatically generated from parser.rl by using ragel */
-#line 1 "parser.rl"
 #include "ruby.h"
-#include "../fbuffer/fbuffer.h"
+#include "ruby/encoding.h"
 
-static VALUE mJSON, mExt, cParser, eNestingError, Encoding_UTF_8;
+/* shims */
+/* This is the fallback definition from Ruby 3.4 */
+
+#ifndef RBIMPL_STDBOOL_H
+#if defined(__cplusplus)
+# if defined(HAVE_STDBOOL_H) && (__cplusplus >= 201103L)
+#  include <cstdbool>
+# endif
+#elif defined(HAVE_STDBOOL_H)
+# include <stdbool.h>
+#elif !defined(HAVE__BOOL)
+typedef unsigned char _Bool;
+# define bool  _Bool
+# define true  ((_Bool)+1)
+# define false ((_Bool)+0)
+# define __bool_true_false_are_defined
+#endif
+#endif
+
+#ifndef RB_UNLIKELY
+#define RB_UNLIKELY(expr) expr
+#endif
+
+#ifndef RB_LIKELY
+#define RB_LIKELY(expr) expr
+#endif
+
+static VALUE mJSON, eNestingError, Encoding_UTF_8;
 static VALUE CNaN, CInfinity, CMinusInfinity;
 
-static ID i_json_creatable_p, i_json_create, i_create_id,
-          i_chr, i_deep_const_get, i_match, i_aset, i_aref,
+static ID i_chr, i_aset, i_aref,
           i_leftshift, i_new, i_try_convert, i_uminus, i_encode;
 
 static VALUE sym_max_nesting, sym_allow_nan, sym_allow_trailing_comma, sym_symbolize_names, sym_freeze,
-             sym_create_additions, sym_create_id, sym_object_class, sym_array_class,
-             sym_decimal_class, sym_match_string;
+             sym_decimal_class, sym_on_load;
 
 static int binary_encindex;
 static int utf8_encindex;
 
-#ifdef HAVE_RB_CATEGORY_WARN
-# define json_deprecated(message) rb_category_warn(RB_WARN_CATEGORY_DEPRECATED, message)
-#else
-# define json_deprecated(message) rb_warn(message)
-#endif
-
-static const char deprecated_create_additions_warning[] =
-    "JSON.load implicit support for `create_additions: true` is deprecated "
-    "and will be removed in 3.0, use JSON.unsafe_load or explicitly "
-    "pass `create_additions: true`";
-
 #ifndef HAVE_RB_HASH_BULK_INSERT
 // For TruffleRuby
-void rb_hash_bulk_insert(long count, const VALUE *pairs, VALUE hash)
+void
+rb_hash_bulk_insert(long count, const VALUE *pairs, VALUE hash)
 {
     long index = 0;
     while (index < count) {
@@ -42,6 +55,11 @@ void rb_hash_bulk_insert(long count, const VALUE *pairs, VALUE hash)
 }
 #endif
 
+#ifndef HAVE_RB_HASH_NEW_CAPA
+#define rb_hash_new_capa(n) rb_hash_new()
+#endif
+
+
 /* name cache */
 
 #include <string.h>
@@ -104,7 +122,7 @@ static VALUE rstring_cache_fetch(rvalue_cache *cache, const char *str, const lon
         return Qfalse;
     }
 
-    if (RB_UNLIKELY(!isalpha(str[0]))) {
+    if (RB_UNLIKELY(!isalpha((unsigned char)str[0]))) {
         // Simple heuristic, if the first character isn't a letter,
         // we're much less likely to see this string again.
         // We mostly want to cache strings that are likely to be repeated.
@@ -156,7 +174,7 @@ static VALUE rsymbol_cache_fetch(rvalue_cache *cache, const char *str, const lon
         return Qfalse;
     }
 
-    if (RB_UNLIKELY(!isalpha(str[0]))) {
+    if (RB_UNLIKELY(!isalpha((unsigned char)str[0]))) {
         // Simple heuristic, if the first character isn't a letter,
         // we're much less likely to see this string again.
         // We mostly want to cache strings that are likely to be repeated.
@@ -231,13 +249,14 @@ static rvalue_stack *rvalue_stack_grow(rvalue_stack *stack, VALUE *handle, rvalu
     return stack;
 }
 
-static void rvalue_stack_push(rvalue_stack *stack, VALUE value, VALUE *handle, rvalue_stack **stack_ref)
+static VALUE rvalue_stack_push(rvalue_stack *stack, VALUE value, VALUE *handle, rvalue_stack **stack_ref)
 {
     if (RB_UNLIKELY(stack->head >= stack->capa)) {
         stack = rvalue_stack_grow(stack, handle, stack_ref);
     }
     stack->ptr[stack->head] = value;
     stack->head++;
+    return value;
 }
 
 static inline VALUE *rvalue_stack_peek(rvalue_stack *stack, long count)
@@ -301,10 +320,50 @@ static rvalue_stack *rvalue_stack_spill(rvalue_stack *old_stack, VALUE *handle,
 
 static void rvalue_stack_eagerly_release(VALUE handle)
 {
-    rvalue_stack *stack;
-    TypedData_Get_Struct(handle, rvalue_stack, &JSON_Parser_rvalue_stack_type, stack);
-    RTYPEDDATA_DATA(handle) = NULL;
-    rvalue_stack_free(stack);
+    if (handle) {
+        rvalue_stack *stack;
+        TypedData_Get_Struct(handle, rvalue_stack, &JSON_Parser_rvalue_stack_type, stack);
+        RTYPEDDATA_DATA(handle) = NULL;
+        rvalue_stack_free(stack);
+    }
+}
+
+
+#ifndef HAVE_STRNLEN
+static size_t strnlen(const char *s, size_t maxlen)
+{
+    char *p;
+    return ((p = memchr(s, '\0', maxlen)) ? p - s : maxlen);
+}
+#endif
+
+#define PARSE_ERROR_FRAGMENT_LEN 32
+#ifdef RBIMPL_ATTR_NORETURN
+RBIMPL_ATTR_NORETURN()
+#endif
+static void raise_parse_error(const char *format, const char *start)
+{
+    unsigned char buffer[PARSE_ERROR_FRAGMENT_LEN + 1];
+
+    size_t len = start ? strnlen(start, PARSE_ERROR_FRAGMENT_LEN) : 0;
+    const char *ptr = start;
+
+    if (len == PARSE_ERROR_FRAGMENT_LEN) {
+        MEMCPY(buffer, start, char, PARSE_ERROR_FRAGMENT_LEN);
+
+        while (buffer[len - 1] >= 0x80 && buffer[len - 1] < 0xC0) { // Is continuation byte
+            len--;
+        }
+
+        if (buffer[len - 1] >= 0xC0) { // multibyte character start
+            len--;
+        }
+
+        buffer[len] = '\0';
+        ptr = (const char *)buffer;
+    }
+
+    rb_enc_raise(enc_utf8, rb_path2class("JSON::ParserError"), format, ptr);
 }
 
 /* unicode */
@@ -328,21 +387,19 @@ static const signed char digit_values[256] = {
 
 static uint32_t unescape_unicode(const unsigned char *p)
 {
-    const uint32_t replacement_char = 0xFFFD;
-
     signed char b;
     uint32_t result = 0;
     b = digit_values[p[0]];
-    if (b < 0) return replacement_char;
+    if (b < 0) raise_parse_error("incomplete unicode character escape sequence at '%s'", (char *)p - 2);
     result = (result << 4) | (unsigned char)b;
     b = digit_values[p[1]];
-    if (b < 0) return replacement_char;
+    if (b < 0) raise_parse_error("incomplete unicode character escape sequence at '%s'", (char *)p - 2);
     result = (result << 4) | (unsigned char)b;
     b = digit_values[p[2]];
-    if (b < 0) return replacement_char;
+    if (b < 0) raise_parse_error("incomplete unicode character escape sequence at '%s'", (char *)p - 2);
     result = (result << 4) | (unsigned char)b;
     b = digit_values[p[3]];
-    if (b < 0) return replacement_char;
+    if (b < 0) raise_parse_error("incomplete unicode character escape sequence at '%s'", (char *)p - 2);
     result = (result << 4) | (unsigned char)b;
     return result;
 }
@@ -374,1110 +431,255 @@ static int convert_UTF32_to_UTF8(char *buf, uint32_t ch)
 }
 
 typedef struct JSON_ParserStruct {
-    VALUE Vsource;
-    char *source;
-    long len;
-    char *memo;
-    VALUE create_id;
-    VALUE object_class;
-    VALUE array_class;
+    VALUE on_load_proc;
     VALUE decimal_class;
-    VALUE match_string;
-    FBuffer fbuffer;
-    int in_array;
+    ID decimal_method_id;
     int max_nesting;
     bool allow_nan;
     bool allow_trailing_comma;
     bool parsing_name;
     bool symbolize_names;
     bool freeze;
-    bool create_additions;
-    bool deprecated_create_additions;
-    rvalue_cache name_cache;
-    rvalue_stack *stack;
-    VALUE stack_handle;
-} JSON_Parser;
-
-#define GET_PARSER                          \
-    GET_PARSER_INIT;                        \
-    if (!json->Vsource) rb_raise(rb_eTypeError, "uninitialized instance")
+} JSON_ParserConfig;
 
-#define GET_PARSER_INIT                     \
-    JSON_Parser *json;                      \
-    TypedData_Get_Struct(self, JSON_Parser, &JSON_Parser_type, json)
+typedef struct JSON_ParserStateStruct {
+    VALUE stack_handle;
+    const char *cursor;
+    const char *end;
+    rvalue_stack *stack;
+    rvalue_cache name_cache;
+    int in_array;
+    int current_nesting;
+} JSON_ParserState;
 
-#define MinusInfinity "-Infinity"
-#define EVIL 0x666
+#define GET_PARSER_CONFIG                          \
+    JSON_ParserConfig *config;                      \
+    TypedData_Get_Struct(self, JSON_ParserConfig, &JSON_ParserConfig_type, config)
 
-static const rb_data_type_t JSON_Parser_type;
-static char *JSON_parse_string(JSON_Parser *json, char *p, char *pe, VALUE *result);
-static char *JSON_parse_object(JSON_Parser *json, char *p, char *pe, VALUE *result, int current_nesting);
-static char *JSON_parse_value(JSON_Parser *json, char *p, char *pe, VALUE *result, int current_nesting);
-static char *JSON_parse_number(JSON_Parser *json, char *p, char *pe, VALUE *result);
-static char *JSON_parse_array(JSON_Parser *json, char *p, char *pe, VALUE *result, int current_nesting);
+static const rb_data_type_t JSON_ParserConfig_type;
 
+static const bool whitespace[256] = {
+    [' '] = 1,
+    ['\t'] = 1,
+    ['\n'] = 1,
+    ['\r'] = 1,
+    ['/'] = 1,
+};
 
-#define PARSE_ERROR_FRAGMENT_LEN 32
-#ifdef RBIMPL_ATTR_NORETURN
-RBIMPL_ATTR_NORETURN()
-#endif
-static void raise_parse_error(const char *format, const char *start)
+static void
+json_eat_comments(JSON_ParserState *state)
 {
-    char buffer[PARSE_ERROR_FRAGMENT_LEN + 1];
-
-    size_t len = strnlen(start, PARSE_ERROR_FRAGMENT_LEN);
-    const char *ptr = start;
-
-    if (len == PARSE_ERROR_FRAGMENT_LEN) {
-        MEMCPY(buffer, start, char, PARSE_ERROR_FRAGMENT_LEN);
-        buffer[PARSE_ERROR_FRAGMENT_LEN] = '\0';
-        ptr = buffer;
+    if (state->cursor + 1 < state->end) {
+        switch(state->cursor[1]) {
+            case '/': {
+                state->cursor = memchr(state->cursor, '\n', state->end - state->cursor);
+                if (!state->cursor) {
+                    state->cursor = state->end;
+                } else {
+                    state->cursor++;
+                }
+                break;
+            }
+            case '*': {
+                state->cursor += 2;
+                while (true) {
+                    state->cursor = memchr(state->cursor, '*', state->end - state->cursor);
+                    if (!state->cursor) {
+                        state->cursor = state->end;
+                        raise_parse_error("unexpected end of input, expected closing '*/'", state->cursor);
+                    } else {
+                        state->cursor++;
+                        if (state->cursor < state->end && *state->cursor == '/') {
+                            state->cursor++;
+                            break;
+                        }
+                    }
+                }
+                break;
+            }
+            default:
+                raise_parse_error("unexpected token at '%s'", state->cursor);
+                break;
+        }
+    } else {
+        raise_parse_error("unexpected token at '%s'", state->cursor);
     }
-
-    rb_enc_raise(enc_utf8, rb_path2class("JSON::ParserError"), format, ptr);
 }
 
-
-
-#line 465 "parser.rl"
-
-
-
-#line 447 "parser.c"
-enum {JSON_object_start = 1};
-enum {JSON_object_first_final = 32};
-enum {JSON_object_error = 0};
-
-enum {JSON_object_en_main = 1};
-
-
-#line 505 "parser.rl"
-
-
-#define PUSH(result) rvalue_stack_push(json->stack, result, &json->stack_handle, &json->stack)
-
-static char *JSON_parse_object(JSON_Parser *json, char *p, char *pe, VALUE *result, int current_nesting)
+static inline void
+json_eat_whitespace(JSON_ParserState *state)
 {
-    int cs = EVIL;
-
-    if (json->max_nesting && current_nesting > json->max_nesting) {
-        rb_raise(eNestingError, "nesting of %d is too deep", current_nesting);
-    }
-
-    long stack_head = json->stack->head;
-
-
-#line 471 "parser.c"
-	{
-	cs = JSON_object_start;
-	}
-
-#line 520 "parser.rl"
-
-#line 478 "parser.c"
-	{
-	short _widec;
-	if ( p == pe )
-		goto _test_eof;
-	switch ( cs )
-	{
-case 1:
-	if ( (*p) == 123 )
-		goto st2;
-	goto st0;
-st0:
-cs = 0;
-	goto _out;
-st2:
-	if ( ++p == pe )
-		goto _test_eof2;
-case 2:
-	switch( (*p) ) {
-		case 13: goto st2;
-		case 32: goto st2;
-		case 34: goto tr2;
-		case 47: goto st28;
-		case 125: goto tr4;
-	}
-	if ( 9 <= (*p) && (*p) <= 10 )
-		goto st2;
-	goto st0;
-tr2:
-#line 484 "parser.rl"
-	{
-        char *np;
-        json->parsing_name = true;
-        np = JSON_parse_string(json, p, pe, result);
-        json->parsing_name = false;
-        if (np == NULL) { p--; {p++; cs = 3; goto _out;} } else {
-            PUSH(*result);
-            {p = (( np))-1;}
-         }
-    }
-	goto st3;
-st3:
-	if ( ++p == pe )
-		goto _test_eof3;
-case 3:
-#line 523 "parser.c"
-	switch( (*p) ) {
-		case 13: goto st3;
-		case 32: goto st3;
-		case 47: goto st4;
-		case 58: goto st8;
-	}
-	if ( 9 <= (*p) && (*p) <= 10 )
-		goto st3;
-	goto st0;
-st4:
-	if ( ++p == pe )
-		goto _test_eof4;
-case 4:
-	switch( (*p) ) {
-		case 42: goto st5;
-		case 47: goto st7;
-	}
-	goto st0;
-st5:
-	if ( ++p == pe )
-		goto _test_eof5;
-case 5:
-	if ( (*p) == 42 )
-		goto st6;
-	goto st5;
-st6:
-	if ( ++p == pe )
-		goto _test_eof6;
-case 6:
-	switch( (*p) ) {
-		case 42: goto st6;
-		case 47: goto st3;
-	}
-	goto st5;
-st7:
-	if ( ++p == pe )
-		goto _test_eof7;
-case 7:
-	if ( (*p) == 10 )
-		goto st3;
-	goto st7;
-st8:
-	if ( ++p == pe )
-		goto _test_eof8;
-case 8:
-	switch( (*p) ) {
-		case 13: goto st8;
-		case 32: goto st8;
-		case 34: goto tr11;
-		case 45: goto tr11;
-		case 47: goto st24;
-		case 73: goto tr11;
-		case 78: goto tr11;
-		case 91: goto tr11;
-		case 102: goto tr11;
-		case 110: goto tr11;
-		case 116: goto tr11;
-		case 123: goto tr11;
-	}
-	if ( (*p) > 10 ) {
-		if ( 48 <= (*p) && (*p) <= 57 )
-			goto tr11;
-	} else if ( (*p) >= 9 )
-		goto st8;
-	goto st0;
-tr11:
-#line 473 "parser.rl"
-	{
-        char *np = JSON_parse_value(json, p, pe, result, current_nesting);
-        if (np == NULL) {
-            p--; {p++; cs = 9; goto _out;}
+    while (state->cursor < state->end && RB_UNLIKELY(whitespace[(unsigned char)*state->cursor])) {
+        if (RB_LIKELY(*state->cursor != '/')) {
+            state->cursor++;
         } else {
-            {p = (( np))-1;}
+            json_eat_comments(state);
         }
     }
-	goto st9;
-st9:
-	if ( ++p == pe )
-		goto _test_eof9;
-case 9:
-#line 604 "parser.c"
-	_widec = (*p);
-	if ( (*p) < 13 ) {
-		if ( (*p) > 9 ) {
-			if ( 10 <= (*p) && (*p) <= 10 ) {
-				_widec = (short)(128 + ((*p) - -128));
-				if (
-#line 482 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-			}
-		} else if ( (*p) >= 9 ) {
-			_widec = (short)(128 + ((*p) - -128));
-			if (
-#line 482 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-		}
-	} else if ( (*p) > 13 ) {
-		if ( (*p) < 44 ) {
-			if ( 32 <= (*p) && (*p) <= 32 ) {
-				_widec = (short)(128 + ((*p) - -128));
-				if (
-#line 482 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-			}
-		} else if ( (*p) > 44 ) {
-			if ( 47 <= (*p) && (*p) <= 47 ) {
-				_widec = (short)(128 + ((*p) - -128));
-				if (
-#line 482 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-			}
-		} else {
-			_widec = (short)(128 + ((*p) - -128));
-			if (
-#line 482 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-		}
-	} else {
-		_widec = (short)(128 + ((*p) - -128));
-		if (
-#line 482 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-	}
-	switch( _widec ) {
-		case 125: goto tr4;
-		case 269: goto st10;
-		case 288: goto st10;
-		case 300: goto st11;
-		case 303: goto st16;
-		case 525: goto st9;
-		case 544: goto st9;
-		case 556: goto st2;
-		case 559: goto st20;
-	}
-	if ( _widec > 266 ) {
-		if ( 521 <= _widec && _widec <= 522 )
-			goto st9;
-	} else if ( _widec >= 265 )
-		goto st10;
-	goto st0;
-tr4:
-#line 495 "parser.rl"
-	{ p--; {p++; cs = 32; goto _out;} }
-	goto st32;
-st32:
-	if ( ++p == pe )
-		goto _test_eof32;
-case 32:
-#line 672 "parser.c"
-	goto st0;
-st10:
-	if ( ++p == pe )
-		goto _test_eof10;
-case 10:
-	switch( (*p) ) {
-		case 13: goto st10;
-		case 32: goto st10;
-		case 44: goto st11;
-		case 47: goto st16;
-		case 125: goto tr4;
-	}
-	if ( 9 <= (*p) && (*p) <= 10 )
-		goto st10;
-	goto st0;
-st11:
-	if ( ++p == pe )
-		goto _test_eof11;
-case 11:
-	switch( (*p) ) {
-		case 13: goto st11;
-		case 32: goto st11;
-		case 34: goto tr2;
-		case 47: goto st12;
-	}
-	if ( 9 <= (*p) && (*p) <= 10 )
-		goto st11;
-	goto st0;
-st12:
-	if ( ++p == pe )
-		goto _test_eof12;
-case 12:
-	switch( (*p) ) {
-		case 42: goto st13;
-		case 47: goto st15;
-	}
-	goto st0;
-st13:
-	if ( ++p == pe )
-		goto _test_eof13;
-case 13:
-	if ( (*p) == 42 )
-		goto st14;
-	goto st13;
-st14:
-	if ( ++p == pe )
-		goto _test_eof14;
-case 14:
-	switch( (*p) ) {
-		case 42: goto st14;
-		case 47: goto st11;
-	}
-	goto st13;
-st15:
-	if ( ++p == pe )
-		goto _test_eof15;
-case 15:
-	if ( (*p) == 10 )
-		goto st11;
-	goto st15;
-st16:
-	if ( ++p == pe )
-		goto _test_eof16;
-case 16:
-	switch( (*p) ) {
-		case 42: goto st17;
-		case 47: goto st19;
-	}
-	goto st0;
-st17:
-	if ( ++p == pe )
-		goto _test_eof17;
-case 17:
-	if ( (*p) == 42 )
-		goto st18;
-	goto st17;
-st18:
-	if ( ++p == pe )
-		goto _test_eof18;
-case 18:
-	switch( (*p) ) {
-		case 42: goto st18;
-		case 47: goto st10;
-	}
-	goto st17;
-st19:
-	if ( ++p == pe )
-		goto _test_eof19;
-case 19:
-	if ( (*p) == 10 )
-		goto st10;
-	goto st19;
-st20:
-	if ( ++p == pe )
-		goto _test_eof20;
-case 20:
-	_widec = (*p);
-	if ( (*p) > 42 ) {
-		if ( 47 <= (*p) && (*p) <= 47 ) {
-			_widec = (short)(128 + ((*p) - -128));
-			if (
-#line 482 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-		}
-	} else if ( (*p) >= 42 ) {
-		_widec = (short)(128 + ((*p) - -128));
-		if (
-#line 482 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-	}
-	switch( _widec ) {
-		case 298: goto st17;
-		case 303: goto st19;
-		case 554: goto st21;
-		case 559: goto st23;
-	}
-	goto st0;
-st21:
-	if ( ++p == pe )
-		goto _test_eof21;
-case 21:
-	_widec = (*p);
-	if ( (*p) < 42 ) {
-		if ( (*p) <= 41 ) {
-			_widec = (short)(128 + ((*p) - -128));
-			if (
-#line 482 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-		}
-	} else if ( (*p) > 42 ) {
-		if ( 43 <= (*p) )
- {			_widec = (short)(128 + ((*p) - -128));
-			if (
-#line 482 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-		}
-	} else {
-		_widec = (short)(128 + ((*p) - -128));
-		if (
-#line 482 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-	}
-	switch( _widec ) {
-		case 298: goto st18;
-		case 554: goto st22;
-	}
-	if ( _widec > 383 ) {
-		if ( 384 <= _widec && _widec <= 639 )
-			goto st21;
-	} else if ( _widec >= 128 )
-		goto st17;
-	goto st0;
-st22:
-	if ( ++p == pe )
-		goto _test_eof22;
-case 22:
-	_widec = (*p);
-	if ( (*p) < 43 ) {
-		if ( (*p) > 41 ) {
-			if ( 42 <= (*p) && (*p) <= 42 ) {
-				_widec = (short)(128 + ((*p) - -128));
-				if (
-#line 482 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-			}
-		} else {
-			_widec = (short)(128 + ((*p) - -128));
-			if (
-#line 482 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-		}
-	} else if ( (*p) > 46 ) {
-		if ( (*p) > 47 ) {
-			if ( 48 <= (*p) )
- {				_widec = (short)(128 + ((*p) - -128));
-				if (
-#line 482 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-			}
-		} else if ( (*p) >= 47 ) {
-			_widec = (short)(128 + ((*p) - -128));
-			if (
-#line 482 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-		}
-	} else {
-		_widec = (short)(128 + ((*p) - -128));
-		if (
-#line 482 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-	}
-	switch( _widec ) {
-		case 298: goto st18;
-		case 303: goto st10;
-		case 554: goto st22;
-		case 559: goto st9;
-	}
-	if ( _widec > 383 ) {
-		if ( 384 <= _widec && _widec <= 639 )
-			goto st21;
-	} else if ( _widec >= 128 )
-		goto st17;
-	goto st0;
-st23:
-	if ( ++p == pe )
-		goto _test_eof23;
-case 23:
-	_widec = (*p);
-	if ( (*p) < 10 ) {
-		if ( (*p) <= 9 ) {
-			_widec = (short)(128 + ((*p) - -128));
-			if (
-#line 482 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-		}
-	} else if ( (*p) > 10 ) {
-		if ( 11 <= (*p) )
- {			_widec = (short)(128 + ((*p) - -128));
-			if (
-#line 482 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-		}
-	} else {
-		_widec = (short)(128 + ((*p) - -128));
-		if (
-#line 482 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-	}
-	switch( _widec ) {
-		case 266: goto st10;
-		case 522: goto st9;
-	}
-	if ( _widec > 383 ) {
-		if ( 384 <= _widec && _widec <= 639 )
-			goto st23;
-	} else if ( _widec >= 128 )
-		goto st19;
-	goto st0;
-st24:
-	if ( ++p == pe )
-		goto _test_eof24;
-case 24:
-	switch( (*p) ) {
-		case 42: goto st25;
-		case 47: goto st27;
-	}
-	goto st0;
-st25:
-	if ( ++p == pe )
-		goto _test_eof25;
-case 25:
-	if ( (*p) == 42 )
-		goto st26;
-	goto st25;
-st26:
-	if ( ++p == pe )
-		goto _test_eof26;
-case 26:
-	switch( (*p) ) {
-		case 42: goto st26;
-		case 47: goto st8;
-	}
-	goto st25;
-st27:
-	if ( ++p == pe )
-		goto _test_eof27;
-case 27:
-	if ( (*p) == 10 )
-		goto st8;
-	goto st27;
-st28:
-	if ( ++p == pe )
-		goto _test_eof28;
-case 28:
-	switch( (*p) ) {
-		case 42: goto st29;
-		case 47: goto st31;
-	}
-	goto st0;
-st29:
-	if ( ++p == pe )
-		goto _test_eof29;
-case 29:
-	if ( (*p) == 42 )
-		goto st30;
-	goto st29;
-st30:
-	if ( ++p == pe )
-		goto _test_eof30;
-case 30:
-	switch( (*p) ) {
-		case 42: goto st30;
-		case 47: goto st2;
-	}
-	goto st29;
-st31:
-	if ( ++p == pe )
-		goto _test_eof31;
-case 31:
-	if ( (*p) == 10 )
-		goto st2;
-	goto st31;
-	}
-	_test_eof2: cs = 2; goto _test_eof;
-	_test_eof3: cs = 3; goto _test_eof;
-	_test_eof4: cs = 4; goto _test_eof;
-	_test_eof5: cs = 5; goto _test_eof;
-	_test_eof6: cs = 6; goto _test_eof;
-	_test_eof7: cs = 7; goto _test_eof;
-	_test_eof8: cs = 8; goto _test_eof;
-	_test_eof9: cs = 9; goto _test_eof;
-	_test_eof32: cs = 32; goto _test_eof;
-	_test_eof10: cs = 10; goto _test_eof;
-	_test_eof11: cs = 11; goto _test_eof;
-	_test_eof12: cs = 12; goto _test_eof;
-	_test_eof13: cs = 13; goto _test_eof;
-	_test_eof14: cs = 14; goto _test_eof;
-	_test_eof15: cs = 15; goto _test_eof;
-	_test_eof16: cs = 16; goto _test_eof;
-	_test_eof17: cs = 17; goto _test_eof;
-	_test_eof18: cs = 18; goto _test_eof;
-	_test_eof19: cs = 19; goto _test_eof;
-	_test_eof20: cs = 20; goto _test_eof;
-	_test_eof21: cs = 21; goto _test_eof;
-	_test_eof22: cs = 22; goto _test_eof;
-	_test_eof23: cs = 23; goto _test_eof;
-	_test_eof24: cs = 24; goto _test_eof;
-	_test_eof25: cs = 25; goto _test_eof;
-	_test_eof26: cs = 26; goto _test_eof;
-	_test_eof27: cs = 27; goto _test_eof;
-	_test_eof28: cs = 28; goto _test_eof;
-	_test_eof29: cs = 29; goto _test_eof;
-	_test_eof30: cs = 30; goto _test_eof;
-	_test_eof31: cs = 31; goto _test_eof;
-
-	_test_eof: {}
-	_out: {}
-	}
-
-#line 521 "parser.rl"
-
-    if (cs >= JSON_object_first_final) {
-        long count = json->stack->head - stack_head;
-
-        if (RB_UNLIKELY(json->object_class)) {
-            VALUE object = rb_class_new_instance(0, 0, json->object_class);
-            long index = 0;
-            VALUE *items = rvalue_stack_peek(json->stack, count);
-            while (index < count) {
-                VALUE name = items[index++];
-                VALUE value = items[index++];
-                rb_funcall(object, i_aset, 2, name, value);
-            }
-            *result = object;
-        } else {
-            VALUE hash;
-#ifdef HAVE_RB_HASH_NEW_CAPA
-            hash = rb_hash_new_capa(count >> 1);
-#else
-            hash = rb_hash_new();
-#endif
-            rb_hash_bulk_insert(count, rvalue_stack_peek(json->stack, count), hash);
-            *result = hash;
-        }
-        rvalue_stack_pop(json->stack, count);
+}
 
-        if (RB_UNLIKELY(json->create_additions)) {
-            VALUE klassname;
-            if (json->object_class) {
-                klassname = rb_funcall(*result, i_aref, 1, json->create_id);
-            } else {
-                klassname = rb_hash_aref(*result, json->create_id);
-            }
-            if (!NIL_P(klassname)) {
-                VALUE klass = rb_funcall(mJSON, i_deep_const_get, 1, klassname);
-                if (RTEST(rb_funcall(klass, i_json_creatable_p, 0))) {
-                    if (json->deprecated_create_additions) {
-                        json_deprecated(deprecated_create_additions_warning);
-                    }
-                    *result = rb_funcall(klass, i_json_create, 1, *result);
-                }
-            }
-        }
-        return p + 1;
+static inline VALUE build_string(const char *start, const char *end, bool intern, bool symbolize)
+{
+    if (symbolize) {
+        intern = true;
+    }
+    VALUE result;
+# ifdef HAVE_RB_ENC_INTERNED_STR
+    if (intern) {
+      result = rb_enc_interned_str(start, (long)(end - start), enc_utf8);
     } else {
-        return NULL;
+      result = rb_utf8_str_new(start, (long)(end - start));
     }
-}
+# else
+    result = rb_utf8_str_new(start, (long)(end - start));
+    if (intern) {
+        result = rb_funcall(rb_str_freeze(result), i_uminus, 0);
+    }
+# endif
 
+    if (symbolize) {
+      result = rb_str_intern(result);
+    }
 
-#line 1063 "parser.c"
-enum {JSON_value_start = 1};
-enum {JSON_value_first_final = 29};
-enum {JSON_value_error = 0};
+    return result;
+}
 
-enum {JSON_value_en_main = 1};
+static inline VALUE json_string_fastpath(JSON_ParserState *state, const char *string, const char *stringEnd, bool is_name, bool intern, bool symbolize)
+{
+    size_t bufferSize = stringEnd - string;
 
+    if (is_name && state->in_array) {
+        VALUE cached_key;
+        if (RB_UNLIKELY(symbolize)) {
+            cached_key = rsymbol_cache_fetch(&state->name_cache, string, bufferSize);
+        } else {
+            cached_key = rstring_cache_fetch(&state->name_cache, string, bufferSize);
+        }
 
-#line 654 "parser.rl"
+        if (RB_LIKELY(cached_key)) {
+            return cached_key;
+        }
+    }
 
+    return build_string(string, stringEnd, intern, symbolize);
+}
 
-static char *JSON_parse_value(JSON_Parser *json, char *p, char *pe, VALUE *result, int current_nesting)
+static VALUE json_string_unescape(JSON_ParserState *state, const char *string, const char *stringEnd, bool is_name, bool intern, bool symbolize)
 {
-    int cs = EVIL;
-
-
-#line 1079 "parser.c"
-	{
-	cs = JSON_value_start;
-	}
-
-#line 661 "parser.rl"
-
-#line 1086 "parser.c"
-	{
-	if ( p == pe )
-		goto _test_eof;
-	switch ( cs )
-	{
-st1:
-	if ( ++p == pe )
-		goto _test_eof1;
-case 1:
-	switch( (*p) ) {
-		case 13: goto st1;
-		case 32: goto st1;
-		case 34: goto tr2;
-		case 45: goto tr3;
-		case 47: goto st6;
-		case 73: goto st10;
-		case 78: goto st17;
-		case 91: goto tr7;
-		case 102: goto st19;
-		case 110: goto st23;
-		case 116: goto st26;
-		case 123: goto tr11;
-	}
-	if ( (*p) > 10 ) {
-		if ( 48 <= (*p) && (*p) <= 57 )
-			goto tr3;
-	} else if ( (*p) >= 9 )
-		goto st1;
-	goto st0;
-st0:
-cs = 0;
-	goto _out;
-tr2:
-#line 599 "parser.rl"
-	{
-        char *np = JSON_parse_string(json, p, pe, result);
-        if (np == NULL) {
-            p--;
-            {p++; cs = 29; goto _out;}
+    size_t bufferSize = stringEnd - string;
+    const char *p = string, *pe = string, *unescape, *bufferStart;
+    char *buffer;
+    int unescape_len;
+    char buf[4];
+
+    if (is_name && state->in_array) {
+        VALUE cached_key;
+        if (RB_UNLIKELY(symbolize)) {
+            cached_key = rsymbol_cache_fetch(&state->name_cache, string, bufferSize);
         } else {
-            {p = (( np))-1;}
-        }
-    }
-	goto st29;
-tr3:
-#line 609 "parser.rl"
-	{
-        char *np;
-        if(pe > p + 8 && !strncmp(MinusInfinity, p, 9)) {
-            if (json->allow_nan) {
-                *result = CMinusInfinity;
-                {p = (( p + 10))-1;}
-                p--; {p++; cs = 29; goto _out;}
-            } else {
-                raise_parse_error("unexpected token at '%s'", p);
-            }
+            cached_key = rstring_cache_fetch(&state->name_cache, string, bufferSize);
         }
-        np = JSON_parse_number(json, p, pe, result);
-        if (np != NULL) {
-            {p = (( np))-1;}
+
+        if (RB_LIKELY(cached_key)) {
+            return cached_key;
         }
-        p--; {p++; cs = 29; goto _out;}
     }
-	goto st29;
-tr7:
-#line 627 "parser.rl"
-	{
-        char *np;
-        json->in_array++;
-        np = JSON_parse_array(json, p, pe, result, current_nesting + 1);
-        json->in_array--;
-        if (np == NULL) { p--; {p++; cs = 29; goto _out;} } else {p = (( np))-1;}
-    }
-	goto st29;
-tr11:
-#line 635 "parser.rl"
-	{
-        char *np;
-        np =  JSON_parse_object(json, p, pe, result, current_nesting + 1);
-        if (np == NULL) { p--; {p++; cs = 29; goto _out;} } else {p = (( np))-1;}
-    }
-	goto st29;
-tr25:
-#line 592 "parser.rl"
-	{
-        if (json->allow_nan) {
-            *result = CInfinity;
-        } else {
-            raise_parse_error("unexpected token at '%s'", p - 7);
+
+    VALUE result = rb_str_buf_new(bufferSize);
+    rb_enc_associate_index(result, utf8_encindex);
+    buffer = RSTRING_PTR(result);
+    bufferStart = buffer;
+
+    while (pe < stringEnd && (pe = memchr(pe, '\\', stringEnd - pe))) {
+        unescape = (char *) "?";
+        unescape_len = 1;
+        if (pe > p) {
+          MEMCPY(buffer, p, char, pe - p);
+          buffer += pe - p;
         }
-    }
-	goto st29;
-tr27:
-#line 585 "parser.rl"
-	{
-        if (json->allow_nan) {
-            *result = CNaN;
-        } else {
-            raise_parse_error("unexpected token at '%s'", p - 2);
+        switch (*++pe) {
+            case 'n':
+                unescape = (char *) "\n";
+                break;
+            case 'r':
+                unescape = (char *) "\r";
+                break;
+            case 't':
+                unescape = (char *) "\t";
+                break;
+            case '"':
+                unescape = (char *) "\"";
+                break;
+            case '\\':
+                unescape = (char *) "\\";
+                break;
+            case 'b':
+                unescape = (char *) "\b";
+                break;
+            case 'f':
+                unescape = (char *) "\f";
+                break;
+            case 'u':
+                if (pe > stringEnd - 5) {
+                  raise_parse_error("incomplete unicode character escape sequence at '%s'", p);
+                } else {
+                    uint32_t ch = unescape_unicode((unsigned char *) ++pe);
+                    pe += 3;
+                    /* To handle values above U+FFFF, we take a sequence of
+                     * \uXXXX escapes in the U+D800..U+DBFF then
+                     * U+DC00..U+DFFF ranges, take the low 10 bits from each
+                     * to make a 20-bit number, then add 0x10000 to get the
+                     * final codepoint.
+                     *
+                     * See Unicode 15: 3.8 "Surrogates", 5.3 "Handling
+                     * Surrogate Pairs in UTF-16", and 23.6 "Surrogates
+                     * Area".
+                     */
+                    if ((ch & 0xFC00) == 0xD800) {
+                        pe++;
+                        if (pe > stringEnd - 6) {
+                          raise_parse_error("incomplete surrogate pair at '%s'", p);
+                        }
+                        if (pe[0] == '\\' && pe[1] == 'u') {
+                            uint32_t sur = unescape_unicode((unsigned char *) pe + 2);
+                            ch = (((ch & 0x3F) << 10) | ((((ch >> 6) & 0xF) + 1) << 16)
+                                    | (sur & 0x3FF));
+                            pe += 5;
+                        } else {
+                            unescape = (char *) "?";
+                            break;
+                        }
+                    }
+                    unescape_len = convert_UTF32_to_UTF8(buf, ch);
+                    unescape = buf;
+                }
+                break;
+            default:
+                p = pe;
+                continue;
         }
-    }
-	goto st29;
-tr31:
-#line 579 "parser.rl"
-	{
-        *result = Qfalse;
-    }
-	goto st29;
-tr34:
-#line 576 "parser.rl"
-	{
-        *result = Qnil;
-    }
-	goto st29;
-tr37:
-#line 582 "parser.rl"
-	{
-        *result = Qtrue;
-    }
-	goto st29;
-st29:
-	if ( ++p == pe )
-		goto _test_eof29;
-case 29:
-#line 641 "parser.rl"
-	{ p--; {p++; cs = 29; goto _out;} }
-#line 1213 "parser.c"
-	switch( (*p) ) {
-		case 13: goto st29;
-		case 32: goto st29;
-		case 47: goto st2;
-	}
-	if ( 9 <= (*p) && (*p) <= 10 )
-		goto st29;
-	goto st0;
-st2:
-	if ( ++p == pe )
-		goto _test_eof2;
-case 2:
-	switch( (*p) ) {
-		case 42: goto st3;
-		case 47: goto st5;
-	}
-	goto st0;
-st3:
-	if ( ++p == pe )
-		goto _test_eof3;
-case 3:
-	if ( (*p) == 42 )
-		goto st4;
-	goto st3;
-st4:
-	if ( ++p == pe )
-		goto _test_eof4;
-case 4:
-	switch( (*p) ) {
-		case 42: goto st4;
-		case 47: goto st29;
-	}
-	goto st3;
-st5:
-	if ( ++p == pe )
-		goto _test_eof5;
-case 5:
-	if ( (*p) == 10 )
-		goto st29;
-	goto st5;
-st6:
-	if ( ++p == pe )
-		goto _test_eof6;
-case 6:
-	switch( (*p) ) {
-		case 42: goto st7;
-		case 47: goto st9;
-	}
-	goto st0;
-st7:
-	if ( ++p == pe )
-		goto _test_eof7;
-case 7:
-	if ( (*p) == 42 )
-		goto st8;
-	goto st7;
-st8:
-	if ( ++p == pe )
-		goto _test_eof8;
-case 8:
-	switch( (*p) ) {
-		case 42: goto st8;
-		case 47: goto st1;
-	}
-	goto st7;
-st9:
-	if ( ++p == pe )
-		goto _test_eof9;
-case 9:
-	if ( (*p) == 10 )
-		goto st1;
-	goto st9;
-st10:
-	if ( ++p == pe )
-		goto _test_eof10;
-case 10:
-	if ( (*p) == 110 )
-		goto st11;
-	goto st0;
-st11:
-	if ( ++p == pe )
-		goto _test_eof11;
-case 11:
-	if ( (*p) == 102 )
-		goto st12;
-	goto st0;
-st12:
-	if ( ++p == pe )
-		goto _test_eof12;
-case 12:
-	if ( (*p) == 105 )
-		goto st13;
-	goto st0;
-st13:
-	if ( ++p == pe )
-		goto _test_eof13;
-case 13:
-	if ( (*p) == 110 )
-		goto st14;
-	goto st0;
-st14:
-	if ( ++p == pe )
-		goto _test_eof14;
-case 14:
-	if ( (*p) == 105 )
-		goto st15;
-	goto st0;
-st15:
-	if ( ++p == pe )
-		goto _test_eof15;
-case 15:
-	if ( (*p) == 116 )
-		goto st16;
-	goto st0;
-st16:
-	if ( ++p == pe )
-		goto _test_eof16;
-case 16:
-	if ( (*p) == 121 )
-		goto tr25;
-	goto st0;
-st17:
-	if ( ++p == pe )
-		goto _test_eof17;
-case 17:
-	if ( (*p) == 97 )
-		goto st18;
-	goto st0;
-st18:
-	if ( ++p == pe )
-		goto _test_eof18;
-case 18:
-	if ( (*p) == 78 )
-		goto tr27;
-	goto st0;
-st19:
-	if ( ++p == pe )
-		goto _test_eof19;
-case 19:
-	if ( (*p) == 97 )
-		goto st20;
-	goto st0;
-st20:
-	if ( ++p == pe )
-		goto _test_eof20;
-case 20:
-	if ( (*p) == 108 )
-		goto st21;
-	goto st0;
-st21:
-	if ( ++p == pe )
-		goto _test_eof21;
-case 21:
-	if ( (*p) == 115 )
-		goto st22;
-	goto st0;
-st22:
-	if ( ++p == pe )
-		goto _test_eof22;
-case 22:
-	if ( (*p) == 101 )
-		goto tr31;
-	goto st0;
-st23:
-	if ( ++p == pe )
-		goto _test_eof23;
-case 23:
-	if ( (*p) == 117 )
-		goto st24;
-	goto st0;
-st24:
-	if ( ++p == pe )
-		goto _test_eof24;
-case 24:
-	if ( (*p) == 108 )
-		goto st25;
-	goto st0;
-st25:
-	if ( ++p == pe )
-		goto _test_eof25;
-case 25:
-	if ( (*p) == 108 )
-		goto tr34;
-	goto st0;
-st26:
-	if ( ++p == pe )
-		goto _test_eof26;
-case 26:
-	if ( (*p) == 114 )
-		goto st27;
-	goto st0;
-st27:
-	if ( ++p == pe )
-		goto _test_eof27;
-case 27:
-	if ( (*p) == 117 )
-		goto st28;
-	goto st0;
-st28:
-	if ( ++p == pe )
-		goto _test_eof28;
-case 28:
-	if ( (*p) == 101 )
-		goto tr37;
-	goto st0;
-	}
-	_test_eof1: cs = 1; goto _test_eof;
-	_test_eof29: cs = 29; goto _test_eof;
-	_test_eof2: cs = 2; goto _test_eof;
-	_test_eof3: cs = 3; goto _test_eof;
-	_test_eof4: cs = 4; goto _test_eof;
-	_test_eof5: cs = 5; goto _test_eof;
-	_test_eof6: cs = 6; goto _test_eof;
-	_test_eof7: cs = 7; goto _test_eof;
-	_test_eof8: cs = 8; goto _test_eof;
-	_test_eof9: cs = 9; goto _test_eof;
-	_test_eof10: cs = 10; goto _test_eof;
-	_test_eof11: cs = 11; goto _test_eof;
-	_test_eof12: cs = 12; goto _test_eof;
-	_test_eof13: cs = 13; goto _test_eof;
-	_test_eof14: cs = 14; goto _test_eof;
-	_test_eof15: cs = 15; goto _test_eof;
-	_test_eof16: cs = 16; goto _test_eof;
-	_test_eof17: cs = 17; goto _test_eof;
-	_test_eof18: cs = 18; goto _test_eof;
-	_test_eof19: cs = 19; goto _test_eof;
-	_test_eof20: cs = 20; goto _test_eof;
-	_test_eof21: cs = 21; goto _test_eof;
-	_test_eof22: cs = 22; goto _test_eof;
-	_test_eof23: cs = 23; goto _test_eof;
-	_test_eof24: cs = 24; goto _test_eof;
-	_test_eof25: cs = 25; goto _test_eof;
-	_test_eof26: cs = 26; goto _test_eof;
-	_test_eof27: cs = 27; goto _test_eof;
-	_test_eof28: cs = 28; goto _test_eof;
-
-	_test_eof: {}
-	_out: {}
-	}
-
-#line 662 "parser.rl"
-
-    if (json->freeze) {
-        OBJ_FREEZE(*result);
+        MEMCPY(buffer, unescape, char, unescape_len);
+        buffer += unescape_len;
+        p = ++pe;
     }
 
-    if (cs >= JSON_value_first_final) {
-        PUSH(*result);
-        return p;
-    } else {
-        return NULL;
+    if (stringEnd > p) {
+      MEMCPY(buffer, p, char, stringEnd - p);
+      buffer += stringEnd - p;
     }
-}
-
-
-#line 1469 "parser.c"
-enum {JSON_integer_start = 1};
-enum {JSON_integer_first_final = 3};
-enum {JSON_integer_error = 0};
-
-enum {JSON_integer_en_main = 1};
-
+    rb_str_set_len(result, buffer - bufferStart);
 
-#line 683 "parser.rl"
+    if (symbolize) {
+        result = rb_str_intern(result);
+    } else if (intern) {
+        result = rb_funcall(rb_str_freeze(result), i_uminus, 0);
+    }
 
+    return result;
+}
 
 #define MAX_FAST_INTEGER_SIZE 18
-static inline VALUE fast_parse_integer(char *p, char *pe)
+static inline VALUE fast_decode_integer(const char *p, const char *pe)
 {
     bool negative = false;
     if (*p == '-') {
@@ -1498,1102 +700,403 @@ static inline VALUE fast_parse_integer(char *p, char *pe)
     return LL2NUM(memo);
 }
 
-static char *JSON_decode_integer(JSON_Parser *json, char *p, VALUE *result)
+static VALUE json_decode_large_integer(const char *start, long len)
+{
+    VALUE buffer_v;
+    char *buffer = RB_ALLOCV_N(char, buffer_v, len + 1);
+    MEMCPY(buffer, start, char, len);
+    buffer[len] = '\0';
+    VALUE number = rb_cstr2inum(buffer, 10);
+    RB_ALLOCV_END(buffer_v);
+    return number;
+}
+
+static inline VALUE
+json_decode_integer(const char *start, const char *end)
 {
-        long len = p - json->memo;
+        long len = end - start;
         if (RB_LIKELY(len < MAX_FAST_INTEGER_SIZE)) {
-            *result = fast_parse_integer(json->memo, p);
-        } else {
-            fbuffer_clear(&json->fbuffer);
-            fbuffer_append(&json->fbuffer, json->memo, len);
-            fbuffer_append_char(&json->fbuffer, '\0');
-            *result = rb_cstr2inum(FBUFFER_PTR(&json->fbuffer), 10);
+            return fast_decode_integer(start, end);
         }
-        return p + 1;
+        return json_decode_large_integer(start, len);
 }
 
+static VALUE json_decode_large_float(const char *start, long len)
+{
+    VALUE buffer_v;
+    char *buffer = RB_ALLOCV_N(char, buffer_v, len + 1);
+    MEMCPY(buffer, start, char, len);
+    buffer[len] = '\0';
+    VALUE number = DBL2NUM(rb_cstr_to_dbl(buffer, 1));
+    RB_ALLOCV_END(buffer_v);
+    return number;
+}
 
-#line 1517 "parser.c"
-enum {JSON_float_start = 1};
-enum {JSON_float_first_final = 6};
-enum {JSON_float_error = 0};
-
-enum {JSON_float_en_main = 1};
+static VALUE json_decode_float(JSON_ParserConfig *config, const char *start, const char *end)
+{
+    long len = end - start;
+
+    if (RB_UNLIKELY(config->decimal_class)) {
+        VALUE text = rb_str_new(start, len);
+        return rb_funcallv(config->decimal_class, config->decimal_method_id, 1, &text);
+    } else if (RB_LIKELY(len < 64)) {
+        char buffer[64];
+        MEMCPY(buffer, start, char, len);
+        buffer[len] = '\0';
+        return DBL2NUM(rb_cstr_to_dbl(buffer, 1));
+    } else {
+        return json_decode_large_float(start, len);
+    }
+}
 
+static inline VALUE json_decode_array(JSON_ParserState *state, JSON_ParserConfig *config, long count)
+{
+    VALUE array = rb_ary_new_from_values(count, rvalue_stack_peek(state->stack, count));
+    rvalue_stack_pop(state->stack, count);
 
-#line 735 "parser.rl"
+    if (config->freeze) {
+        RB_OBJ_FREEZE(array);
+    }
 
+    return array;
+}
 
-static char *JSON_parse_number(JSON_Parser *json, char *p, char *pe, VALUE *result)
+static inline VALUE json_decode_object(JSON_ParserState *state, JSON_ParserConfig *config, long count)
 {
-    int cs = EVIL;
-    bool is_float = false;
-
-
-#line 1534 "parser.c"
-	{
-	cs = JSON_float_start;
-	}
-
-#line 743 "parser.rl"
-    json->memo = p;
-
-#line 1542 "parser.c"
-	{
-	if ( p == pe )
-		goto _test_eof;
-	switch ( cs )
-	{
-case 1:
-	switch( (*p) ) {
-		case 45: goto st2;
-		case 48: goto st6;
-	}
-	if ( 49 <= (*p) && (*p) <= 57 )
-		goto st10;
-	goto st0;
-st0:
-cs = 0;
-	goto _out;
-st2:
-	if ( ++p == pe )
-		goto _test_eof2;
-case 2:
-	if ( (*p) == 48 )
-		goto st6;
-	if ( 49 <= (*p) && (*p) <= 57 )
-		goto st10;
-	goto st0;
-st6:
-	if ( ++p == pe )
-		goto _test_eof6;
-case 6:
-	switch( (*p) ) {
-		case 45: goto st0;
-		case 46: goto tr8;
-		case 69: goto tr9;
-		case 101: goto tr9;
-	}
-	if ( 48 <= (*p) && (*p) <= 57 )
-		goto st0;
-	goto tr7;
-tr7:
-#line 727 "parser.rl"
-	{ p--; {p++; cs = 7; goto _out;} }
-	goto st7;
-st7:
-	if ( ++p == pe )
-		goto _test_eof7;
-case 7:
-#line 1589 "parser.c"
-	goto st0;
-tr8:
-#line 728 "parser.rl"
-	{  is_float = true; }
-	goto st3;
-st3:
-	if ( ++p == pe )
-		goto _test_eof3;
-case 3:
-#line 1599 "parser.c"
-	if ( 48 <= (*p) && (*p) <= 57 )
-		goto st8;
-	goto st0;
-st8:
-	if ( ++p == pe )
-		goto _test_eof8;
-case 8:
-	switch( (*p) ) {
-		case 69: goto st4;
-		case 101: goto st4;
-	}
-	if ( (*p) > 46 ) {
-		if ( 48 <= (*p) && (*p) <= 57 )
-			goto st8;
-	} else if ( (*p) >= 45 )
-		goto st0;
-	goto tr7;
-tr9:
-#line 728 "parser.rl"
-	{  is_float = true; }
-	goto st4;
-st4:
-	if ( ++p == pe )
-		goto _test_eof4;
-case 4:
-#line 1625 "parser.c"
-	switch( (*p) ) {
-		case 43: goto st5;
-		case 45: goto st5;
-	}
-	if ( 48 <= (*p) && (*p) <= 57 )
-		goto st9;
-	goto st0;
-st5:
-	if ( ++p == pe )
-		goto _test_eof5;
-case 5:
-	if ( 48 <= (*p) && (*p) <= 57 )
-		goto st9;
-	goto st0;
-st9:
-	if ( ++p == pe )
-		goto _test_eof9;
-case 9:
-	switch( (*p) ) {
-		case 69: goto st0;
-		case 101: goto st0;
-	}
-	if ( (*p) > 46 ) {
-		if ( 48 <= (*p) && (*p) <= 57 )
-			goto st9;
-	} else if ( (*p) >= 45 )
-		goto st0;
-	goto tr7;
-st10:
-	if ( ++p == pe )
-		goto _test_eof10;
-case 10:
-	switch( (*p) ) {
-		case 45: goto st0;
-		case 46: goto tr8;
-		case 69: goto tr9;
-		case 101: goto tr9;
-	}
-	if ( 48 <= (*p) && (*p) <= 57 )
-		goto st10;
-	goto tr7;
-	}
-	_test_eof2: cs = 2; goto _test_eof;
-	_test_eof6: cs = 6; goto _test_eof;
-	_test_eof7: cs = 7; goto _test_eof;
-	_test_eof3: cs = 3; goto _test_eof;
-	_test_eof8: cs = 8; goto _test_eof;
-	_test_eof4: cs = 4; goto _test_eof;
-	_test_eof5: cs = 5; goto _test_eof;
-	_test_eof9: cs = 9; goto _test_eof;
-	_test_eof10: cs = 10; goto _test_eof;
-
-	_test_eof: {}
-	_out: {}
-	}
-
-#line 745 "parser.rl"
-
-    if (cs >= JSON_float_first_final) {
-        if (!is_float) {
-            return JSON_decode_integer(json, p, result);
-        }
-        VALUE mod = Qnil;
-        ID method_id = 0;
-        if (json->decimal_class) {
-            if (rb_respond_to(json->decimal_class, i_try_convert)) {
-                mod = json->decimal_class;
-                method_id = i_try_convert;
-            } else if (rb_respond_to(json->decimal_class, i_new)) {
-                mod = json->decimal_class;
-                method_id = i_new;
-            } else if (RB_TYPE_P(json->decimal_class, T_CLASS)) {
-                VALUE name = rb_class_name(json->decimal_class);
-                const char *name_cstr = RSTRING_PTR(name);
-                const char *last_colon = strrchr(name_cstr, ':');
-                if (last_colon) {
-                    const char *mod_path_end = last_colon - 1;
-                    VALUE mod_path = rb_str_substr(name, 0, mod_path_end - name_cstr);
-                    mod = rb_path_to_class(mod_path);
+    VALUE object = rb_hash_new_capa(count);
+    rb_hash_bulk_insert(count, rvalue_stack_peek(state->stack, count), object);
 
-                    const char *method_name_beg = last_colon + 1;
-                    long before_len = method_name_beg - name_cstr;
-                    long len = RSTRING_LEN(name) - before_len;
-                    VALUE method_name = rb_str_substr(name, before_len, len);
-                    method_id = SYM2ID(rb_str_intern(method_name));
-                } else {
-                    mod = rb_mKernel;
-                    method_id = SYM2ID(rb_str_intern(name));
-                }
-            }
-        }
+    rvalue_stack_pop(state->stack, count);
 
-        long len = p - json->memo;
-        fbuffer_clear(&json->fbuffer);
-        fbuffer_append(&json->fbuffer, json->memo, len);
-        fbuffer_append_char(&json->fbuffer, '\0');
+    if (config->freeze) {
+        RB_OBJ_FREEZE(object);
+    }
 
-        if (method_id) {
-            VALUE text = rb_str_new2(FBUFFER_PTR(&json->fbuffer));
-            *result = rb_funcallv(mod, method_id, 1, &text);
-        } else {
-            *result = DBL2NUM(rb_cstr_to_dbl(FBUFFER_PTR(&json->fbuffer), 1));
-        }
+    return object;
+}
 
-        return p + 1;
+static inline VALUE json_decode_string(JSON_ParserState *state, JSON_ParserConfig *config, const char *start, const char *end, bool escaped, bool is_name)
+{
+    VALUE string;
+    bool intern = is_name || config->freeze;
+    bool symbolize = is_name && config->symbolize_names;
+    if (escaped) {
+        string = json_string_unescape(state, start, end, is_name, intern, symbolize);
     } else {
-        return NULL;
+        string = json_string_fastpath(state, start, end, is_name, intern, symbolize);
     }
-}
-
-
-
-#line 1738 "parser.c"
-enum {JSON_array_start = 1};
-enum {JSON_array_first_final = 22};
-enum {JSON_array_error = 0};
-
-enum {JSON_array_en_main = 1};
 
+    return string;
+}
 
-#line 825 "parser.rl"
+static inline VALUE json_push_value(JSON_ParserState *state, JSON_ParserConfig *config, VALUE value)
+{
+    if (RB_UNLIKELY(config->on_load_proc)) {
+        value = rb_proc_call_with_block(config->on_load_proc, 1, &value, Qnil);
+    }
+    rvalue_stack_push(state->stack, value, &state->stack_handle, &state->stack);
+    return value;
+}
 
+static const bool string_scan[256] = {
+    // ASCII Control Characters
+     1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
+     1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1,
+    // ASCII Characters
+     0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, // '"'
+     0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+     0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+     0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, // '\\'
+     0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+     0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+};
 
-static char *JSON_parse_array(JSON_Parser *json, char *p, char *pe, VALUE *result, int current_nesting)
+static inline VALUE json_parse_string(JSON_ParserState *state, JSON_ParserConfig *config, bool is_name)
 {
-    int cs = EVIL;
-
-    if (json->max_nesting && current_nesting > json->max_nesting) {
-        rb_raise(eNestingError, "nesting of %d is too deep", current_nesting);
-    }
-    long stack_head = json->stack->head;
-
-
-#line 1759 "parser.c"
-	{
-	cs = JSON_array_start;
-	}
-
-#line 837 "parser.rl"
-
-#line 1766 "parser.c"
-	{
-	short _widec;
-	if ( p == pe )
-		goto _test_eof;
-	switch ( cs )
-	{
-case 1:
-	if ( (*p) == 91 )
-		goto st2;
-	goto st0;
-st0:
-cs = 0;
-	goto _out;
-st2:
-	if ( ++p == pe )
-		goto _test_eof2;
-case 2:
-	switch( (*p) ) {
-		case 13: goto st2;
-		case 32: goto st2;
-		case 34: goto tr2;
-		case 45: goto tr2;
-		case 47: goto st18;
-		case 73: goto tr2;
-		case 78: goto tr2;
-		case 91: goto tr2;
-		case 93: goto tr4;
-		case 102: goto tr2;
-		case 110: goto tr2;
-		case 116: goto tr2;
-		case 123: goto tr2;
-	}
-	if ( (*p) > 10 ) {
-		if ( 48 <= (*p) && (*p) <= 57 )
-			goto tr2;
-	} else if ( (*p) >= 9 )
-		goto st2;
-	goto st0;
-tr2:
-#line 805 "parser.rl"
-	{
-        VALUE v = Qnil;
-        char *np = JSON_parse_value(json, p, pe, &v, current_nesting);
-        if (np == NULL) {
-            p--; {p++; cs = 3; goto _out;}
-        } else {
-            {p = (( np))-1;}
-        }
-    }
-	goto st3;
-st3:
-	if ( ++p == pe )
-		goto _test_eof3;
-case 3:
-#line 1821 "parser.c"
-	_widec = (*p);
-	if ( 44 <= (*p) && (*p) <= 44 ) {
-		_widec = (short)(128 + ((*p) - -128));
-		if (
-#line 815 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-	}
-	switch( _widec ) {
-		case 13: goto st3;
-		case 32: goto st3;
-		case 47: goto st4;
-		case 93: goto tr4;
-		case 300: goto st8;
-		case 556: goto st13;
-	}
-	if ( 9 <= _widec && _widec <= 10 )
-		goto st3;
-	goto st0;
-st4:
-	if ( ++p == pe )
-		goto _test_eof4;
-case 4:
-	switch( (*p) ) {
-		case 42: goto st5;
-		case 47: goto st7;
-	}
-	goto st0;
-st5:
-	if ( ++p == pe )
-		goto _test_eof5;
-case 5:
-	if ( (*p) == 42 )
-		goto st6;
-	goto st5;
-st6:
-	if ( ++p == pe )
-		goto _test_eof6;
-case 6:
-	switch( (*p) ) {
-		case 42: goto st6;
-		case 47: goto st3;
-	}
-	goto st5;
-st7:
-	if ( ++p == pe )
-		goto _test_eof7;
-case 7:
-	if ( (*p) == 10 )
-		goto st3;
-	goto st7;
-tr4:
-#line 817 "parser.rl"
-	{ p--; {p++; cs = 22; goto _out;} }
-	goto st22;
-st22:
-	if ( ++p == pe )
-		goto _test_eof22;
-case 22:
-#line 1880 "parser.c"
-	goto st0;
-st8:
-	if ( ++p == pe )
-		goto _test_eof8;
-case 8:
-	switch( (*p) ) {
-		case 13: goto st8;
-		case 32: goto st8;
-		case 34: goto tr2;
-		case 45: goto tr2;
-		case 47: goto st9;
-		case 73: goto tr2;
-		case 78: goto tr2;
-		case 91: goto tr2;
-		case 102: goto tr2;
-		case 110: goto tr2;
-		case 116: goto tr2;
-		case 123: goto tr2;
-	}
-	if ( (*p) > 10 ) {
-		if ( 48 <= (*p) && (*p) <= 57 )
-			goto tr2;
-	} else if ( (*p) >= 9 )
-		goto st8;
-	goto st0;
-st9:
-	if ( ++p == pe )
-		goto _test_eof9;
-case 9:
-	switch( (*p) ) {
-		case 42: goto st10;
-		case 47: goto st12;
-	}
-	goto st0;
-st10:
-	if ( ++p == pe )
-		goto _test_eof10;
-case 10:
-	if ( (*p) == 42 )
-		goto st11;
-	goto st10;
-st11:
-	if ( ++p == pe )
-		goto _test_eof11;
-case 11:
-	switch( (*p) ) {
-		case 42: goto st11;
-		case 47: goto st8;
-	}
-	goto st10;
-st12:
-	if ( ++p == pe )
-		goto _test_eof12;
-case 12:
-	if ( (*p) == 10 )
-		goto st8;
-	goto st12;
-st13:
-	if ( ++p == pe )
-		goto _test_eof13;
-case 13:
-	_widec = (*p);
-	if ( (*p) < 13 ) {
-		if ( (*p) > 9 ) {
-			if ( 10 <= (*p) && (*p) <= 10 ) {
-				_widec = (short)(128 + ((*p) - -128));
-				if (
-#line 815 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-			}
-		} else if ( (*p) >= 9 ) {
-			_widec = (short)(128 + ((*p) - -128));
-			if (
-#line 815 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-		}
-	} else if ( (*p) > 13 ) {
-		if ( (*p) > 32 ) {
-			if ( 47 <= (*p) && (*p) <= 47 ) {
-				_widec = (short)(128 + ((*p) - -128));
-				if (
-#line 815 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-			}
-		} else if ( (*p) >= 32 ) {
-			_widec = (short)(128 + ((*p) - -128));
-			if (
-#line 815 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-		}
-	} else {
-		_widec = (short)(128 + ((*p) - -128));
-		if (
-#line 815 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-	}
-	switch( _widec ) {
-		case 34: goto tr2;
-		case 45: goto tr2;
-		case 73: goto tr2;
-		case 78: goto tr2;
-		case 91: goto tr2;
-		case 93: goto tr4;
-		case 102: goto tr2;
-		case 110: goto tr2;
-		case 116: goto tr2;
-		case 123: goto tr2;
-		case 269: goto st8;
-		case 288: goto st8;
-		case 303: goto st9;
-		case 525: goto st13;
-		case 544: goto st13;
-		case 559: goto st14;
-	}
-	if ( _widec < 265 ) {
-		if ( 48 <= _widec && _widec <= 57 )
-			goto tr2;
-	} else if ( _widec > 266 ) {
-		if ( 521 <= _widec && _widec <= 522 )
-			goto st13;
-	} else
-		goto st8;
-	goto st0;
-st14:
-	if ( ++p == pe )
-		goto _test_eof14;
-case 14:
-	_widec = (*p);
-	if ( (*p) > 42 ) {
-		if ( 47 <= (*p) && (*p) <= 47 ) {
-			_widec = (short)(128 + ((*p) - -128));
-			if (
-#line 815 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-		}
-	} else if ( (*p) >= 42 ) {
-		_widec = (short)(128 + ((*p) - -128));
-		if (
-#line 815 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-	}
-	switch( _widec ) {
-		case 298: goto st10;
-		case 303: goto st12;
-		case 554: goto st15;
-		case 559: goto st17;
-	}
-	goto st0;
-st15:
-	if ( ++p == pe )
-		goto _test_eof15;
-case 15:
-	_widec = (*p);
-	if ( (*p) < 42 ) {
-		if ( (*p) <= 41 ) {
-			_widec = (short)(128 + ((*p) - -128));
-			if (
-#line 815 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-		}
-	} else if ( (*p) > 42 ) {
-		if ( 43 <= (*p) )
- {			_widec = (short)(128 + ((*p) - -128));
-			if (
-#line 815 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-		}
-	} else {
-		_widec = (short)(128 + ((*p) - -128));
-		if (
-#line 815 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-	}
-	switch( _widec ) {
-		case 298: goto st11;
-		case 554: goto st16;
-	}
-	if ( _widec > 383 ) {
-		if ( 384 <= _widec && _widec <= 639 )
-			goto st15;
-	} else if ( _widec >= 128 )
-		goto st10;
-	goto st0;
-st16:
-	if ( ++p == pe )
-		goto _test_eof16;
-case 16:
-	_widec = (*p);
-	if ( (*p) < 43 ) {
-		if ( (*p) > 41 ) {
-			if ( 42 <= (*p) && (*p) <= 42 ) {
-				_widec = (short)(128 + ((*p) - -128));
-				if (
-#line 815 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-			}
-		} else {
-			_widec = (short)(128 + ((*p) - -128));
-			if (
-#line 815 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-		}
-	} else if ( (*p) > 46 ) {
-		if ( (*p) > 47 ) {
-			if ( 48 <= (*p) )
- {				_widec = (short)(128 + ((*p) - -128));
-				if (
-#line 815 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-			}
-		} else if ( (*p) >= 47 ) {
-			_widec = (short)(128 + ((*p) - -128));
-			if (
-#line 815 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-		}
-	} else {
-		_widec = (short)(128 + ((*p) - -128));
-		if (
-#line 815 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-	}
-	switch( _widec ) {
-		case 298: goto st11;
-		case 303: goto st8;
-		case 554: goto st16;
-		case 559: goto st13;
-	}
-	if ( _widec > 383 ) {
-		if ( 384 <= _widec && _widec <= 639 )
-			goto st15;
-	} else if ( _widec >= 128 )
-		goto st10;
-	goto st0;
-st17:
-	if ( ++p == pe )
-		goto _test_eof17;
-case 17:
-	_widec = (*p);
-	if ( (*p) < 10 ) {
-		if ( (*p) <= 9 ) {
-			_widec = (short)(128 + ((*p) - -128));
-			if (
-#line 815 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-		}
-	} else if ( (*p) > 10 ) {
-		if ( 11 <= (*p) )
- {			_widec = (short)(128 + ((*p) - -128));
-			if (
-#line 815 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-		}
-	} else {
-		_widec = (short)(128 + ((*p) - -128));
-		if (
-#line 815 "parser.rl"
- json->allow_trailing_comma  ) _widec += 256;
-	}
-	switch( _widec ) {
-		case 266: goto st8;
-		case 522: goto st13;
-	}
-	if ( _widec > 383 ) {
-		if ( 384 <= _widec && _widec <= 639 )
-			goto st17;
-	} else if ( _widec >= 128 )
-		goto st12;
-	goto st0;
-st18:
-	if ( ++p == pe )
-		goto _test_eof18;
-case 18:
-	switch( (*p) ) {
-		case 42: goto st19;
-		case 47: goto st21;
-	}
-	goto st0;
-st19:
-	if ( ++p == pe )
-		goto _test_eof19;
-case 19:
-	if ( (*p) == 42 )
-		goto st20;
-	goto st19;
-st20:
-	if ( ++p == pe )
-		goto _test_eof20;
-case 20:
-	switch( (*p) ) {
-		case 42: goto st20;
-		case 47: goto st2;
-	}
-	goto st19;
-st21:
-	if ( ++p == pe )
-		goto _test_eof21;
-case 21:
-	if ( (*p) == 10 )
-		goto st2;
-	goto st21;
-	}
-	_test_eof2: cs = 2; goto _test_eof;
-	_test_eof3: cs = 3; goto _test_eof;
-	_test_eof4: cs = 4; goto _test_eof;
-	_test_eof5: cs = 5; goto _test_eof;
-	_test_eof6: cs = 6; goto _test_eof;
-	_test_eof7: cs = 7; goto _test_eof;
-	_test_eof22: cs = 22; goto _test_eof;
-	_test_eof8: cs = 8; goto _test_eof;
-	_test_eof9: cs = 9; goto _test_eof;
-	_test_eof10: cs = 10; goto _test_eof;
-	_test_eof11: cs = 11; goto _test_eof;
-	_test_eof12: cs = 12; goto _test_eof;
-	_test_eof13: cs = 13; goto _test_eof;
-	_test_eof14: cs = 14; goto _test_eof;
-	_test_eof15: cs = 15; goto _test_eof;
-	_test_eof16: cs = 16; goto _test_eof;
-	_test_eof17: cs = 17; goto _test_eof;
-	_test_eof18: cs = 18; goto _test_eof;
-	_test_eof19: cs = 19; goto _test_eof;
-	_test_eof20: cs = 20; goto _test_eof;
-	_test_eof21: cs = 21; goto _test_eof;
-
-	_test_eof: {}
-	_out: {}
-	}
-
-#line 838 "parser.rl"
-
-    if(cs >= JSON_array_first_final) {
-        long count = json->stack->head - stack_head;
-
-        if (RB_UNLIKELY(json->array_class)) {
-            VALUE array = rb_class_new_instance(0, 0, json->array_class);
-            VALUE *items = rvalue_stack_peek(json->stack, count);
-            long index;
-            for (index = 0; index < count; index++) {
-                rb_funcall(array, i_leftshift, 1, items[index]);
+    state->cursor++;
+    const char *start = state->cursor;
+    bool escaped = false;
+
+    while (state->cursor < state->end) {
+        if (RB_UNLIKELY(string_scan[(unsigned char)*state->cursor])) {
+            switch (*state->cursor) {
+                case '"': {
+                    VALUE string = json_decode_string(state, config, start, state->cursor, escaped, is_name);
+                    state->cursor++;
+                    return json_push_value(state, config, string);
+                }
+                case '\\': {
+                    state->cursor++;
+                    escaped = true;
+                    if ((unsigned char)*state->cursor < 0x20) {
+                        raise_parse_error("invalid ASCII control character in string: %s", state->cursor);
+                    }
+                    break;
+                }
+                default:
+                    raise_parse_error("invalid ASCII control character in string: %s", state->cursor);
+                    break;
             }
-            *result = array;
-        } else {
-            VALUE array = rb_ary_new_from_values(count, rvalue_stack_peek(json->stack, count));
-            *result = array;
         }
-        rvalue_stack_pop(json->stack, count);
 
-        return p + 1;
-    } else {
-        raise_parse_error("unexpected token at '%s'", p);
-        return NULL;
+        state->cursor++;
     }
+
+    raise_parse_error("unexpected end of input, expected closing \"", state->cursor);
+    return Qfalse;
 }
 
-static inline VALUE build_string(const char *start, const char *end, bool intern, bool symbolize)
+static VALUE json_parse_any(JSON_ParserState *state, JSON_ParserConfig *config)
 {
-    if (symbolize) {
-        intern = true;
-    }
-    VALUE result;
-# ifdef HAVE_RB_ENC_INTERNED_STR
-    if (intern) {
-      result = rb_enc_interned_str(start, (long)(end - start), enc_utf8);
-    } else {
-      result = rb_utf8_str_new(start, (long)(end - start));
+    json_eat_whitespace(state);
+    if (state->cursor >= state->end) {
+        raise_parse_error("unexpected end of input", state->cursor);
     }
-# else
-    result = rb_utf8_str_new(start, (long)(end - start));
-    if (intern) {
-        result = rb_funcall(rb_str_freeze(result), i_uminus, 0);
-    }
-# endif
 
-    if (symbolize) {
-      result = rb_str_intern(result);
-    }
+    switch (*state->cursor) {
+        case 'n':
+            if ((state->end - state->cursor >= 4) && (memcmp(state->cursor, "null", 4) == 0)) {
+                state->cursor += 4;
+                return json_push_value(state, config, Qnil);
+            }
 
-    return result;
-}
+            raise_parse_error("unexpected token at '%s'", state->cursor);
+            break;
+        case 't':
+            if ((state->end - state->cursor >= 4) && (memcmp(state->cursor, "true", 4) == 0)) {
+                state->cursor += 4;
+                return json_push_value(state, config, Qtrue);
+            }
 
-static VALUE json_string_fastpath(JSON_Parser *json, char *string, char *stringEnd, bool is_name, bool intern, bool symbolize)
-{
-    size_t bufferSize = stringEnd - string;
+            raise_parse_error("unexpected token at '%s'", state->cursor);
+            break;
+        case 'f':
+            // Note: memcmp with a small power of two compile to an integer comparison
+            if ((state->end - state->cursor >= 5) && (memcmp(state->cursor + 1, "alse", 4) == 0)) {
+                state->cursor += 5;
+                return json_push_value(state, config, Qfalse);
+            }
 
-    if (is_name && json->in_array) {
-        VALUE cached_key;
-        if (RB_UNLIKELY(symbolize)) {
-            cached_key = rsymbol_cache_fetch(&json->name_cache, string, bufferSize);
-        } else {
-            cached_key = rstring_cache_fetch(&json->name_cache, string, bufferSize);
-        }
+            raise_parse_error("unexpected token at '%s'", state->cursor);
+            break;
+        case 'N':
+            // Note: memcmp with a small power of two compile to an integer comparison
+            if (config->allow_nan && (state->end - state->cursor >= 3) && (memcmp(state->cursor + 1, "aN", 2) == 0)) {
+                state->cursor += 3;
+                return json_push_value(state, config, CNaN);
+            }
 
-        if (RB_LIKELY(cached_key)) {
-            return cached_key;
-        }
-    }
+            raise_parse_error("unexpected token at '%s'", state->cursor);
+            break;
+        case 'I':
+            if (config->allow_nan && (state->end - state->cursor >= 8) && (memcmp(state->cursor, "Infinity", 8) == 0)) {
+                state->cursor += 8;
+                return json_push_value(state, config, CInfinity);
+            }
 
-    return build_string(string, stringEnd, intern, symbolize);
-}
+            raise_parse_error("unexpected token at '%s'", state->cursor);
+            break;
+        case '-':
+            // Note: memcmp with a small power of two compile to an integer comparison
+            if ((state->end - state->cursor >= 9) && (memcmp(state->cursor + 1, "Infinity", 8) == 0)) {
+                if (config->allow_nan) {
+                    state->cursor += 9;
+                    return json_push_value(state, config, CMinusInfinity);
+                } else {
+                    raise_parse_error("unexpected token at '%s'", state->cursor);
+                }
+            }
+            // Fallthrough
+        case '0': case '1': case '2': case '3': case '4': case '5': case '6': case '7': case '8': case '9': {
+            bool integer = true;
 
-static VALUE json_string_unescape(JSON_Parser *json, char *string, char *stringEnd, bool is_name, bool intern, bool symbolize)
-{
-    size_t bufferSize = stringEnd - string;
-    char *p = string, *pe = string, *unescape, *bufferStart, *buffer;
-    int unescape_len;
-    char buf[4];
+            // /\A-?(0|[1-9]\d*)(\.\d+)?([Ee][-+]?\d+)?/
+            const char *start = state->cursor;
+            state->cursor++;
 
-    if (is_name && json->in_array) {
-        VALUE cached_key;
-        if (RB_UNLIKELY(symbolize)) {
-            cached_key = rsymbol_cache_fetch(&json->name_cache, string, bufferSize);
-        } else {
-            cached_key = rstring_cache_fetch(&json->name_cache, string, bufferSize);
-        }
+            while ((state->cursor < state->end) && (*state->cursor >= '0') && (*state->cursor <= '9')) {
+                state->cursor++;
+            }
 
-        if (RB_LIKELY(cached_key)) {
-            return cached_key;
-        }
-    }
+            long integer_length = state->cursor - start;
 
-    pe = memchr(p, '\\', bufferSize);
-    if (RB_UNLIKELY(pe == NULL)) {
-        return build_string(string, stringEnd, intern, symbolize);
-    }
+            if (RB_UNLIKELY(start[0] == '0' && integer_length > 1)) {
+                raise_parse_error("invalid number: %s", start);
+            } else if (RB_UNLIKELY(integer_length > 2 && start[0] == '-' && start[1] == '0')) {
+                raise_parse_error("invalid number: %s", start);
+            } else if (RB_UNLIKELY(integer_length == 1 && start[0] == '-')) {
+                raise_parse_error("invalid number: %s", start);
+            }
 
-    VALUE result = rb_str_buf_new(bufferSize);
-    rb_enc_associate_index(result, utf8_encindex);
-    buffer = bufferStart = RSTRING_PTR(result);
-
-    while (pe < stringEnd) {
-        if (*pe == '\\') {
-            unescape = (char *) "?";
-            unescape_len = 1;
-            if (pe > p) {
-              MEMCPY(buffer, p, char, pe - p);
-              buffer += pe - p;
+            if ((state->cursor < state->end) && (*state->cursor == '.')) {
+                integer = false;
+                state->cursor++;
+
+                if (state->cursor == state->end || *state->cursor < '0' || *state->cursor > '9') {
+                    raise_parse_error("invalid number: %s", state->cursor);
+                }
+
+                while ((state->cursor < state->end) && (*state->cursor >= '0') && (*state->cursor <= '9')) {
+                    state->cursor++;
+                }
             }
-            switch (*++pe) {
-                case 'n':
-                    unescape = (char *) "\n";
-                    break;
-                case 'r':
-                    unescape = (char *) "\r";
-                    break;
-                case 't':
-                    unescape = (char *) "\t";
-                    break;
-                case '"':
-                    unescape = (char *) "\"";
-                    break;
-                case '\\':
-                    unescape = (char *) "\\";
-                    break;
-                case 'b':
-                    unescape = (char *) "\b";
-                    break;
-                case 'f':
-                    unescape = (char *) "\f";
-                    break;
-                case 'u':
-                    if (pe > stringEnd - 4) {
-                      raise_parse_error("incomplete unicode character escape sequence at '%s'", p);
-                    } else {
-                        uint32_t ch = unescape_unicode((unsigned char *) ++pe);
-                        pe += 3;
-                        /* To handle values above U+FFFF, we take a sequence of
-                         * \uXXXX escapes in the U+D800..U+DBFF then
-                         * U+DC00..U+DFFF ranges, take the low 10 bits from each
-                         * to make a 20-bit number, then add 0x10000 to get the
-                         * final codepoint.
-                         *
-                         * See Unicode 15: 3.8 "Surrogates", 5.3 "Handling
-                         * Surrogate Pairs in UTF-16", and 23.6 "Surrogates
-                         * Area".
-                         */
-                        if ((ch & 0xFC00) == 0xD800) {
-                            pe++;
-                            if (pe > stringEnd - 6) {
-                              raise_parse_error("incomplete surrogate pair at '%s'", p);
-                            }
-                            if (pe[0] == '\\' && pe[1] == 'u') {
-                                uint32_t sur = unescape_unicode((unsigned char *) pe + 2);
-                                ch = (((ch & 0x3F) << 10) | ((((ch >> 6) & 0xF) + 1) << 16)
-                                        | (sur & 0x3FF));
-                                pe += 5;
-                            } else {
-                                unescape = (char *) "?";
-                                break;
+
+            if ((state->cursor < state->end) && ((*state->cursor == 'e') || (*state->cursor == 'E'))) {
+                integer = false;
+                state->cursor++;
+                if ((state->cursor < state->end) && ((*state->cursor == '+') || (*state->cursor == '-'))) {
+                    state->cursor++;
+                }
+
+                if (state->cursor == state->end || *state->cursor < '0' || *state->cursor > '9') {
+                    raise_parse_error("invalid number: %s", state->cursor);
+                }
+
+                while ((state->cursor < state->end) && (*state->cursor >= '0') && (*state->cursor <= '9')) {
+                    state->cursor++;
+                }
+            }
+
+            if (integer) {
+                return json_push_value(state, config, json_decode_integer(start, state->cursor));
+            }
+            return json_push_value(state, config, json_decode_float(config, start, state->cursor));
+        }
+        case '"': {
+            // %r{\A"[^"\\\t\n\x00]*(?:\\[bfnrtu\\/"][^"\\]*)*"}
+            return json_parse_string(state, config, false);
+            break;
+        }
+        case '[': {
+            state->cursor++;
+            json_eat_whitespace(state);
+            long stack_head = state->stack->head;
+
+            if ((state->cursor < state->end) && (*state->cursor == ']')) {
+                state->cursor++;
+                return json_push_value(state, config, json_decode_array(state, config, 0));
+            } else {
+                state->current_nesting++;
+                if (RB_UNLIKELY(config->max_nesting && (config->max_nesting < state->current_nesting))) {
+                    rb_raise(eNestingError, "nesting of %d is too deep", state->current_nesting);
+                }
+                state->in_array++;
+                json_parse_any(state, config);
+            }
+
+            while (true) {
+                json_eat_whitespace(state);
+
+                if (state->cursor < state->end) {
+                    if (*state->cursor == ']') {
+                        state->cursor++;
+                        long count = state->stack->head - stack_head;
+                        state->current_nesting--;
+                        state->in_array--;
+                        return json_push_value(state, config, json_decode_array(state, config, count));
+                    }
+
+                    if (*state->cursor == ',') {
+                        state->cursor++;
+                        if (config->allow_trailing_comma) {
+                            json_eat_whitespace(state);
+                            if ((state->cursor < state->end) && (*state->cursor == ']')) {
+                                continue;
                             }
                         }
-                        unescape_len = convert_UTF32_to_UTF8(buf, ch);
-                        unescape = buf;
+                        json_parse_any(state, config);
+                        continue;
                     }
-                    break;
-                default:
-                    p = pe;
-                    continue;
+                }
+
+                raise_parse_error("expected ',' or ']' after array value", state->cursor);
             }
-            MEMCPY(buffer, unescape, char, unescape_len);
-            buffer += unescape_len;
-            p = ++pe;
-        } else {
-            pe++;
+            break;
         }
-    }
+        case '{': {
+            state->cursor++;
+            json_eat_whitespace(state);
+            long stack_head = state->stack->head;
+
+            if ((state->cursor < state->end) && (*state->cursor == '}')) {
+                state->cursor++;
+                return json_push_value(state, config, json_decode_object(state, config, 0));
+            } else {
+                state->current_nesting++;
+                if (RB_UNLIKELY(config->max_nesting && (config->max_nesting < state->current_nesting))) {
+                    rb_raise(eNestingError, "nesting of %d is too deep", state->current_nesting);
+                }
 
-    if (pe > p) {
-      MEMCPY(buffer, p, char, pe - p);
-      buffer += pe - p;
-    }
-    rb_str_set_len(result, buffer - bufferStart);
+                if (*state->cursor != '"') {
+                    raise_parse_error("expected object key, got '%s", state->cursor);
+                }
+                json_parse_string(state, config, true);
 
-    if (symbolize) {
-        result = rb_str_intern(result);
-    } else if (intern) {
-        result = rb_funcall(rb_str_freeze(result), i_uminus, 0);
-    }
+                json_eat_whitespace(state);
+                if ((state->cursor >= state->end) || (*state->cursor != ':')) {
+                    raise_parse_error("expected ':' after object key", state->cursor);
+                }
+                state->cursor++;
 
-    return result;
-}
+                json_parse_any(state, config);
+            }
 
+            while (true) {
+                json_eat_whitespace(state);
+
+                if (state->cursor < state->end) {
+                    if (*state->cursor == '}') {
+                        state->cursor++;
+                        state->current_nesting--;
+                        long count = state->stack->head - stack_head;
+                        return json_push_value(state, config, json_decode_object(state, config, count));
+                    }
 
-#line 2403 "parser.c"
-enum {JSON_string_start = 1};
-enum {JSON_string_first_final = 9};
-enum {JSON_string_error = 0};
+                    if (*state->cursor == ',') {
+                        state->cursor++;
+                        json_eat_whitespace(state);
+
+                        if (config->allow_trailing_comma) {
+                            if ((state->cursor < state->end) && (*state->cursor == '}')) {
+                                continue;
+                            }
+                        }
 
-enum {JSON_string_en_main = 1};
+                        if (*state->cursor != '"') {
+                            raise_parse_error("expected object key, got: '%s'", state->cursor);
+                        }
+                        json_parse_string(state, config, true);
 
+                        json_eat_whitespace(state);
+                        if ((state->cursor >= state->end) || (*state->cursor != ':')) {
+                            raise_parse_error("expected ':' after object key, got: '%s", state->cursor);
+                        }
+                        state->cursor++;
 
-#line 1061 "parser.rl"
+                        json_parse_any(state, config);
 
+                        continue;
+                    }
+                }
 
-static int
-match_i(VALUE regexp, VALUE klass, VALUE memo)
-{
-    if (regexp == Qundef) return ST_STOP;
-    if (RTEST(rb_funcall(klass, i_json_creatable_p, 0)) &&
-      RTEST(rb_funcall(regexp, i_match, 1, rb_ary_entry(memo, 0)))) {
-        rb_ary_push(memo, klass);
-        return ST_STOP;
+                raise_parse_error("expected ',' or '}' after object value, got: '%s'", state->cursor);
+            }
+            break;
+        }
+
+        default:
+            raise_parse_error("unexpected character: '%s'", state->cursor);
+            break;
     }
-    return ST_CONTINUE;
+
+    raise_parse_error("unreacheable: '%s'", state->cursor);
 }
 
-static char *JSON_parse_string(JSON_Parser *json, char *p, char *pe, VALUE *result)
+static void json_ensure_eof(JSON_ParserState *state)
 {
-    int cs = EVIL;
-    VALUE match_string;
-
-
-#line 2432 "parser.c"
-	{
-	cs = JSON_string_start;
-	}
-
-#line 1081 "parser.rl"
-    json->memo = p;
-
-#line 2440 "parser.c"
-	{
-	if ( p == pe )
-		goto _test_eof;
-	switch ( cs )
-	{
-case 1:
-	if ( (*p) == 34 )
-		goto st2;
-	goto st0;
-st0:
-cs = 0;
-	goto _out;
-st2:
-	if ( ++p == pe )
-		goto _test_eof2;
-case 2:
-	switch( (*p) ) {
-		case 34: goto tr2;
-		case 92: goto st3;
-	}
-	if ( 0 <= (signed char)(*(p)) && (*(p)) <= 31 )
-		goto st0;
-	goto st2;
-tr2:
-#line 1043 "parser.rl"
-	{
-        *result = json_string_fastpath(json, json->memo + 1, p, json->parsing_name, json->parsing_name || json-> freeze, json->parsing_name && json->symbolize_names);
-        {p = (( p + 1))-1;}
-        p--;
-        {p++; cs = 9; goto _out;}
-    }
-#line 1036 "parser.rl"
-	{
-        *result = json_string_unescape(json, json->memo + 1, p, json->parsing_name, json->parsing_name || json-> freeze, json->parsing_name && json->symbolize_names);
-        {p = (( p + 1))-1;}
-        p--;
-        {p++; cs = 9; goto _out;}
-    }
-	goto st9;
-tr6:
-#line 1036 "parser.rl"
-	{
-        *result = json_string_unescape(json, json->memo + 1, p, json->parsing_name, json->parsing_name || json-> freeze, json->parsing_name && json->symbolize_names);
-        {p = (( p + 1))-1;}
-        p--;
-        {p++; cs = 9; goto _out;}
-    }
-	goto st9;
-st9:
-	if ( ++p == pe )
-		goto _test_eof9;
-case 9:
-#line 2493 "parser.c"
-	goto st0;
-st3:
-	if ( ++p == pe )
-		goto _test_eof3;
-case 3:
-	if ( (*p) == 117 )
-		goto st5;
-	if ( 0 <= (signed char)(*(p)) && (*(p)) <= 31 )
-		goto st0;
-	goto st4;
-st4:
-	if ( ++p == pe )
-		goto _test_eof4;
-case 4:
-	switch( (*p) ) {
-		case 34: goto tr6;
-		case 92: goto st3;
-	}
-	if ( 0 <= (signed char)(*(p)) && (*(p)) <= 31 )
-		goto st0;
-	goto st4;
-st5:
-	if ( ++p == pe )
-		goto _test_eof5;
-case 5:
-	if ( (*p) < 65 ) {
-		if ( 48 <= (*p) && (*p) <= 57 )
-			goto st6;
-	} else if ( (*p) > 70 ) {
-		if ( 97 <= (*p) && (*p) <= 102 )
-			goto st6;
-	} else
-		goto st6;
-	goto st0;
-st6:
-	if ( ++p == pe )
-		goto _test_eof6;
-case 6:
-	if ( (*p) < 65 ) {
-		if ( 48 <= (*p) && (*p) <= 57 )
-			goto st7;
-	} else if ( (*p) > 70 ) {
-		if ( 97 <= (*p) && (*p) <= 102 )
-			goto st7;
-	} else
-		goto st7;
-	goto st0;
-st7:
-	if ( ++p == pe )
-		goto _test_eof7;
-case 7:
-	if ( (*p) < 65 ) {
-		if ( 48 <= (*p) && (*p) <= 57 )
-			goto st8;
-	} else if ( (*p) > 70 ) {
-		if ( 97 <= (*p) && (*p) <= 102 )
-			goto st8;
-	} else
-		goto st8;
-	goto st0;
-st8:
-	if ( ++p == pe )
-		goto _test_eof8;
-case 8:
-	if ( (*p) < 65 ) {
-		if ( 48 <= (*p) && (*p) <= 57 )
-			goto st4;
-	} else if ( (*p) > 70 ) {
-		if ( 97 <= (*p) && (*p) <= 102 )
-			goto st4;
-	} else
-		goto st4;
-	goto st0;
-	}
-	_test_eof2: cs = 2; goto _test_eof;
-	_test_eof9: cs = 9; goto _test_eof;
-	_test_eof3: cs = 3; goto _test_eof;
-	_test_eof4: cs = 4; goto _test_eof;
-	_test_eof5: cs = 5; goto _test_eof;
-	_test_eof6: cs = 6; goto _test_eof;
-	_test_eof7: cs = 7; goto _test_eof;
-	_test_eof8: cs = 8; goto _test_eof;
-
-	_test_eof: {}
-	_out: {}
-	}
-
-#line 1083 "parser.rl"
-
-    if (json->create_additions && RTEST(match_string = json->match_string)) {
-          VALUE klass;
-          VALUE memo = rb_ary_new2(2);
-          rb_ary_push(memo, *result);
-          rb_hash_foreach(match_string, match_i, memo);
-          klass = rb_ary_entry(memo, 1);
-          if (RTEST(klass)) {
-              *result = rb_funcall(klass, i_json_create, 1, *result);
-          }
-    }
-
-    if (cs >= JSON_string_first_final) {
-        return p + 1;
-    } else {
-        return NULL;
+    json_eat_whitespace(state);
+    if (state->cursor != state->end) {
+        raise_parse_error("unexpected token at end of stream '%s'", state->cursor);
     }
 }
 
@@ -2625,72 +1128,68 @@ static VALUE convert_encoding(VALUE source)
   return rb_funcall(source, i_encode, 1, Encoding_UTF_8);
 }
 
-static int configure_parser_i(VALUE key, VALUE val, VALUE data)
+static int parser_config_init_i(VALUE key, VALUE val, VALUE data)
 {
-    JSON_Parser *json = (JSON_Parser *)data;
-
-         if (key == sym_max_nesting)          { json->max_nesting = RTEST(val) ? FIX2INT(val) : 0; }
-    else if (key == sym_allow_nan)            { json->allow_nan = RTEST(val); }
-    else if (key == sym_allow_trailing_comma) { json->allow_trailing_comma = RTEST(val); }
-    else if (key == sym_symbolize_names)      { json->symbolize_names = RTEST(val); }
-    else if (key == sym_freeze)               { json->freeze = RTEST(val); }
-    else if (key == sym_create_id)            { json->create_id = RTEST(val) ? val : Qfalse; }
-    else if (key == sym_object_class)         { json->object_class = RTEST(val) ? val : Qfalse; }
-    else if (key == sym_array_class)          { json->array_class = RTEST(val) ? val : Qfalse; }
-    else if (key == sym_decimal_class)        { json->decimal_class = RTEST(val) ? val : Qfalse; }
-    else if (key == sym_match_string)         { json->match_string = RTEST(val) ? val : Qfalse; }
-    else if (key == sym_create_additions)     {
-        if (NIL_P(val)) {
-            json->create_additions = true;
-            json->deprecated_create_additions = true;
-        } else {
-            json->create_additions = RTEST(val);
-            json->deprecated_create_additions = false;
+    JSON_ParserConfig *config = (JSON_ParserConfig *)data;
+
+         if (key == sym_max_nesting)          { config->max_nesting = RTEST(val) ? FIX2INT(val) : 0; }
+    else if (key == sym_allow_nan)            { config->allow_nan = RTEST(val); }
+    else if (key == sym_allow_trailing_comma) { config->allow_trailing_comma = RTEST(val); }
+    else if (key == sym_symbolize_names)      { config->symbolize_names = RTEST(val); }
+    else if (key == sym_freeze)               { config->freeze = RTEST(val); }
+    else if (key == sym_on_load)              { config->on_load_proc = RTEST(val) ? val : Qfalse; }
+    else if (key == sym_decimal_class)        {
+        if (RTEST(val)) {
+            if (rb_respond_to(val, i_try_convert)) {
+                config->decimal_class = val;
+                config->decimal_method_id = i_try_convert;
+            } else if (rb_respond_to(val, i_new)) {
+                config->decimal_class = val;
+                config->decimal_method_id = i_new;
+            } else if (RB_TYPE_P(val, T_CLASS)) {
+                VALUE name = rb_class_name(val);
+                const char *name_cstr = RSTRING_PTR(name);
+                const char *last_colon = strrchr(name_cstr, ':');
+                if (last_colon) {
+                    const char *mod_path_end = last_colon - 1;
+                    VALUE mod_path = rb_str_substr(name, 0, mod_path_end - name_cstr);
+                    config->decimal_class = rb_path_to_class(mod_path);
+
+                    const char *method_name_beg = last_colon + 1;
+                    long before_len = method_name_beg - name_cstr;
+                    long len = RSTRING_LEN(name) - before_len;
+                    VALUE method_name = rb_str_substr(name, before_len, len);
+                    config->decimal_method_id = SYM2ID(rb_str_intern(method_name));
+                } else {
+                    config->decimal_class = rb_mKernel;
+                    config->decimal_method_id = SYM2ID(rb_str_intern(name));
+                }
+            }
         }
     }
 
     return ST_CONTINUE;
 }
 
-static void parser_init(JSON_Parser *json, VALUE source, VALUE opts)
+static void parser_config_init(JSON_ParserConfig *config, VALUE opts)
 {
-    if (json->Vsource) {
-        rb_raise(rb_eTypeError, "already initialized instance");
-    }
-
-    json->fbuffer.initial_length = FBUFFER_INITIAL_LENGTH_DEFAULT;
-    json->max_nesting = 100;
+    config->max_nesting = 100;
 
     if (!NIL_P(opts)) {
         Check_Type(opts, T_HASH);
         if (RHASH_SIZE(opts) > 0) {
             // We assume in most cases few keys are set so it's faster to go over
             // the provided keys than to check all possible keys.
-            rb_hash_foreach(opts, configure_parser_i, (VALUE)json);
-
-            if (json->symbolize_names && json->create_additions) {
-                rb_raise(rb_eArgError,
-                    "options :symbolize_names and :create_additions cannot be "
-                    " used in conjunction");
-            }
-
-            if (json->create_additions && !json->create_id) {
-                json->create_id = rb_funcall(mJSON, i_create_id, 0);
-            }
+            rb_hash_foreach(opts, parser_config_init_i, (VALUE)config);
         }
 
     }
-    source = convert_encoding(StringValue(source));
-    StringValue(source);
-    json->len = RSTRING_LEN(source);
-    json->source = RSTRING_PTR(source);
-    json->Vsource = source;
 }
 
 /*
- * call-seq: new(source, opts => {})
+ * call-seq: new(opts => {})
  *
- * Creates a new JSON::Ext::Parser instance for the string _source_.
+ * Creates a new JSON::Ext::ParserConfig instance.
  *
  * It will be configured by the _opts_ hash. _opts_ can have the following
  * keys:
@@ -2706,456 +1205,109 @@ static void parser_init(JSON_Parser *json, VALUE source, VALUE opts)
  *   (keys) in a JSON object. Otherwise strings are returned, which is
  *   also the default. It's not possible to use this option in
  *   conjunction with the *create_additions* option.
- * * *create_additions*: If set to false, the Parser doesn't create
- *   additions even if a matching class and create_id was found. This option
- *   defaults to false.
- * * *object_class*: Defaults to Hash. If another type is provided, it will be used
- *   instead of Hash to represent JSON objects. The type must respond to
- *   +new+ without arguments, and return an object that respond to +[]=+.
- * * *array_class*: Defaults to Array If another type is provided, it will be used
- *   instead of Hash to represent JSON arrays. The type must respond to
- *   +new+ without arguments, and return an object that respond to +<<+.
  * * *decimal_class*: Specifies which class to use instead of the default
  *    (Float) when parsing decimal numbers. This class must accept a single
  *    string argument in its constructor.
  */
-static VALUE cParser_initialize(int argc, VALUE *argv, VALUE self)
+static VALUE cParserConfig_initialize(VALUE self, VALUE opts)
 {
-    GET_PARSER_INIT;
+    GET_PARSER_CONFIG;
 
-    rb_check_arity(argc, 1, 2);
+    parser_config_init(config, opts);
+
+    RB_OBJ_WRITTEN(self, Qundef, config->decimal_class);
 
-    parser_init(json, argv[0], argc == 2 ? argv[1] : Qnil);
     return self;
 }
 
+static VALUE cParser_parse(JSON_ParserConfig *config, VALUE Vsource)
+{
+    Vsource = convert_encoding(StringValue(Vsource));
+    StringValue(Vsource);
+
+    VALUE rvalue_stack_buffer[RVALUE_STACK_INITIAL_CAPA];
+    rvalue_stack stack = {
+        .type = RVALUE_STACK_STACK_ALLOCATED,
+        .ptr = rvalue_stack_buffer,
+        .capa = RVALUE_STACK_INITIAL_CAPA,
+    };
 
-#line 2734 "parser.c"
-enum {JSON_start = 1};
-enum {JSON_first_final = 10};
-enum {JSON_error = 0};
+    JSON_ParserState _state = {
+        .cursor = RSTRING_PTR(Vsource),
+        .end = RSTRING_END(Vsource),
+        .stack = &stack,
+    };
+    JSON_ParserState *state = &_state;
 
-enum {JSON_en_main = 1};
+    VALUE result = json_parse_any(state, config);
 
+    // This may be skipped in case of exception, but
+    // it won't cause a leak.
+    rvalue_stack_eagerly_release(state->stack_handle);
 
-#line 1249 "parser.rl"
+    json_ensure_eof(state);
 
+    return result;
+}
 
 /*
- * call-seq: parse()
+ * call-seq: parse(source)
  *
  *  Parses the current JSON text _source_ and returns the complete data
  *  structure as a result.
  *  It raises JSON::ParserError if fail to parse.
  */
-static VALUE cParser_parse(VALUE self)
+static VALUE cParserConfig_parse(VALUE self, VALUE Vsource)
 {
-    char *p, *pe;
-    int cs = EVIL;
-    VALUE result = Qnil;
-    GET_PARSER;
-
-    char stack_buffer[FBUFFER_STACK_SIZE];
-    fbuffer_stack_init(&json->fbuffer, FBUFFER_INITIAL_LENGTH_DEFAULT, stack_buffer, FBUFFER_STACK_SIZE);
-
-    VALUE rvalue_stack_buffer[RVALUE_STACK_INITIAL_CAPA];
-    rvalue_stack stack = {
-        .type = RVALUE_STACK_STACK_ALLOCATED,
-        .ptr = rvalue_stack_buffer,
-        .capa = RVALUE_STACK_INITIAL_CAPA,
-    };
-    json->stack = &stack;
-
-
-#line 2771 "parser.c"
-	{
-	cs = JSON_start;
-	}
-
-#line 1277 "parser.rl"
-    p = json->source;
-    pe = p + json->len;
-
-#line 2780 "parser.c"
-	{
-	if ( p == pe )
-		goto _test_eof;
-	switch ( cs )
-	{
-st1:
-	if ( ++p == pe )
-		goto _test_eof1;
-case 1:
-	switch( (*p) ) {
-		case 13: goto st1;
-		case 32: goto st1;
-		case 34: goto tr2;
-		case 45: goto tr2;
-		case 47: goto st6;
-		case 73: goto tr2;
-		case 78: goto tr2;
-		case 91: goto tr2;
-		case 102: goto tr2;
-		case 110: goto tr2;
-		case 116: goto tr2;
-		case 123: goto tr2;
-	}
-	if ( (*p) > 10 ) {
-		if ( 48 <= (*p) && (*p) <= 57 )
-			goto tr2;
-	} else if ( (*p) >= 9 )
-		goto st1;
-	goto st0;
-st0:
-cs = 0;
-	goto _out;
-tr2:
-#line 1241 "parser.rl"
-	{
-        char *np = JSON_parse_value(json, p, pe, &result, 0);
-        if (np == NULL) { p--; {p++; cs = 10; goto _out;} } else {p = (( np))-1;}
-    }
-	goto st10;
-st10:
-	if ( ++p == pe )
-		goto _test_eof10;
-case 10:
-#line 2824 "parser.c"
-	switch( (*p) ) {
-		case 13: goto st10;
-		case 32: goto st10;
-		case 47: goto st2;
-	}
-	if ( 9 <= (*p) && (*p) <= 10 )
-		goto st10;
-	goto st0;
-st2:
-	if ( ++p == pe )
-		goto _test_eof2;
-case 2:
-	switch( (*p) ) {
-		case 42: goto st3;
-		case 47: goto st5;
-	}
-	goto st0;
-st3:
-	if ( ++p == pe )
-		goto _test_eof3;
-case 3:
-	if ( (*p) == 42 )
-		goto st4;
-	goto st3;
-st4:
-	if ( ++p == pe )
-		goto _test_eof4;
-case 4:
-	switch( (*p) ) {
-		case 42: goto st4;
-		case 47: goto st10;
-	}
-	goto st3;
-st5:
-	if ( ++p == pe )
-		goto _test_eof5;
-case 5:
-	if ( (*p) == 10 )
-		goto st10;
-	goto st5;
-st6:
-	if ( ++p == pe )
-		goto _test_eof6;
-case 6:
-	switch( (*p) ) {
-		case 42: goto st7;
-		case 47: goto st9;
-	}
-	goto st0;
-st7:
-	if ( ++p == pe )
-		goto _test_eof7;
-case 7:
-	if ( (*p) == 42 )
-		goto st8;
-	goto st7;
-st8:
-	if ( ++p == pe )
-		goto _test_eof8;
-case 8:
-	switch( (*p) ) {
-		case 42: goto st8;
-		case 47: goto st1;
-	}
-	goto st7;
-st9:
-	if ( ++p == pe )
-		goto _test_eof9;
-case 9:
-	if ( (*p) == 10 )
-		goto st1;
-	goto st9;
-	}
-	_test_eof1: cs = 1; goto _test_eof;
-	_test_eof10: cs = 10; goto _test_eof;
-	_test_eof2: cs = 2; goto _test_eof;
-	_test_eof3: cs = 3; goto _test_eof;
-	_test_eof4: cs = 4; goto _test_eof;
-	_test_eof5: cs = 5; goto _test_eof;
-	_test_eof6: cs = 6; goto _test_eof;
-	_test_eof7: cs = 7; goto _test_eof;
-	_test_eof8: cs = 8; goto _test_eof;
-	_test_eof9: cs = 9; goto _test_eof;
-
-	_test_eof: {}
-	_out: {}
-	}
-
-#line 1280 "parser.rl"
-
-    if (json->stack_handle) {
-        rvalue_stack_eagerly_release(json->stack_handle);
-    }
-
-    if (cs >= JSON_first_final && p == pe) {
-        return result;
-    } else {
-        raise_parse_error("unexpected token at '%s'", p);
-        return Qnil;
-    }
+    GET_PARSER_CONFIG;
+    return cParser_parse(config, Vsource);
 }
 
-static VALUE cParser_m_parse(VALUE klass, VALUE source, VALUE opts)
+static VALUE cParser_m_parse(VALUE klass, VALUE Vsource, VALUE opts)
 {
-    char *p, *pe;
-    int cs = EVIL;
-    VALUE result = Qnil;
+    Vsource = convert_encoding(StringValue(Vsource));
+    StringValue(Vsource);
 
-    JSON_Parser _parser = {0};
-    JSON_Parser *json = &_parser;
-    parser_init(json, source, opts);
+    JSON_ParserConfig _config = {0};
+    JSON_ParserConfig *config = &_config;
+    parser_config_init(config, opts);
 
-    char stack_buffer[FBUFFER_STACK_SIZE];
-    fbuffer_stack_init(&json->fbuffer, FBUFFER_INITIAL_LENGTH_DEFAULT, stack_buffer, FBUFFER_STACK_SIZE);
-
-    VALUE rvalue_stack_buffer[RVALUE_STACK_INITIAL_CAPA];
-    rvalue_stack stack = {
-        .type = RVALUE_STACK_STACK_ALLOCATED,
-        .ptr = rvalue_stack_buffer,
-        .capa = RVALUE_STACK_INITIAL_CAPA,
-    };
-    json->stack = &stack;
-
-
-#line 2949 "parser.c"
-	{
-	cs = JSON_start;
-	}
-
-#line 1315 "parser.rl"
-    p = json->source;
-    pe = p + json->len;
-
-#line 2958 "parser.c"
-	{
-	if ( p == pe )
-		goto _test_eof;
-	switch ( cs )
-	{
-st1:
-	if ( ++p == pe )
-		goto _test_eof1;
-case 1:
-	switch( (*p) ) {
-		case 13: goto st1;
-		case 32: goto st1;
-		case 34: goto tr2;
-		case 45: goto tr2;
-		case 47: goto st6;
-		case 73: goto tr2;
-		case 78: goto tr2;
-		case 91: goto tr2;
-		case 102: goto tr2;
-		case 110: goto tr2;
-		case 116: goto tr2;
-		case 123: goto tr2;
-	}
-	if ( (*p) > 10 ) {
-		if ( 48 <= (*p) && (*p) <= 57 )
-			goto tr2;
-	} else if ( (*p) >= 9 )
-		goto st1;
-	goto st0;
-st0:
-cs = 0;
-	goto _out;
-tr2:
-#line 1241 "parser.rl"
-	{
-        char *np = JSON_parse_value(json, p, pe, &result, 0);
-        if (np == NULL) { p--; {p++; cs = 10; goto _out;} } else {p = (( np))-1;}
-    }
-	goto st10;
-st10:
-	if ( ++p == pe )
-		goto _test_eof10;
-case 10:
-#line 3002 "parser.c"
-	switch( (*p) ) {
-		case 13: goto st10;
-		case 32: goto st10;
-		case 47: goto st2;
-	}
-	if ( 9 <= (*p) && (*p) <= 10 )
-		goto st10;
-	goto st0;
-st2:
-	if ( ++p == pe )
-		goto _test_eof2;
-case 2:
-	switch( (*p) ) {
-		case 42: goto st3;
-		case 47: goto st5;
-	}
-	goto st0;
-st3:
-	if ( ++p == pe )
-		goto _test_eof3;
-case 3:
-	if ( (*p) == 42 )
-		goto st4;
-	goto st3;
-st4:
-	if ( ++p == pe )
-		goto _test_eof4;
-case 4:
-	switch( (*p) ) {
-		case 42: goto st4;
-		case 47: goto st10;
-	}
-	goto st3;
-st5:
-	if ( ++p == pe )
-		goto _test_eof5;
-case 5:
-	if ( (*p) == 10 )
-		goto st10;
-	goto st5;
-st6:
-	if ( ++p == pe )
-		goto _test_eof6;
-case 6:
-	switch( (*p) ) {
-		case 42: goto st7;
-		case 47: goto st9;
-	}
-	goto st0;
-st7:
-	if ( ++p == pe )
-		goto _test_eof7;
-case 7:
-	if ( (*p) == 42 )
-		goto st8;
-	goto st7;
-st8:
-	if ( ++p == pe )
-		goto _test_eof8;
-case 8:
-	switch( (*p) ) {
-		case 42: goto st8;
-		case 47: goto st1;
-	}
-	goto st7;
-st9:
-	if ( ++p == pe )
-		goto _test_eof9;
-case 9:
-	if ( (*p) == 10 )
-		goto st1;
-	goto st9;
-	}
-	_test_eof1: cs = 1; goto _test_eof;
-	_test_eof10: cs = 10; goto _test_eof;
-	_test_eof2: cs = 2; goto _test_eof;
-	_test_eof3: cs = 3; goto _test_eof;
-	_test_eof4: cs = 4; goto _test_eof;
-	_test_eof5: cs = 5; goto _test_eof;
-	_test_eof6: cs = 6; goto _test_eof;
-	_test_eof7: cs = 7; goto _test_eof;
-	_test_eof8: cs = 8; goto _test_eof;
-	_test_eof9: cs = 9; goto _test_eof;
-
-	_test_eof: {}
-	_out: {}
-	}
-
-#line 1318 "parser.rl"
-
-    if (json->stack_handle) {
-        rvalue_stack_eagerly_release(json->stack_handle);
-    }
-
-    if (cs >= JSON_first_final && p == pe) {
-        return result;
-    } else {
-        raise_parse_error("unexpected token at '%s'", p);
-        return Qnil;
-    }
+    return cParser_parse(config, Vsource);
 }
 
-static void JSON_mark(void *ptr)
+static void JSON_ParserConfig_mark(void *ptr)
 {
-    JSON_Parser *json = ptr;
-    rb_gc_mark(json->Vsource);
-    rb_gc_mark(json->create_id);
-    rb_gc_mark(json->object_class);
-    rb_gc_mark(json->array_class);
-    rb_gc_mark(json->decimal_class);
-    rb_gc_mark(json->match_string);
-    rb_gc_mark(json->stack_handle);
-
-    long index;
-    for (index = 0; index < json->name_cache.length; index++) {
-        rb_gc_mark(json->name_cache.entries[index]);
-    }
+    JSON_ParserConfig *config = ptr;
+    rb_gc_mark(config->on_load_proc);
+    rb_gc_mark(config->decimal_class);
 }
 
-static void JSON_free(void *ptr)
+static void JSON_ParserConfig_free(void *ptr)
 {
-    JSON_Parser *json = ptr;
-    fbuffer_free(&json->fbuffer);
-    ruby_xfree(json);
+    JSON_ParserConfig *config = ptr;
+    ruby_xfree(config);
 }
 
-static size_t JSON_memsize(const void *ptr)
+static size_t JSON_ParserConfig_memsize(const void *ptr)
 {
-    const JSON_Parser *json = ptr;
-    return sizeof(*json) + FBUFFER_CAPA(&json->fbuffer);
+    return sizeof(JSON_ParserConfig);
 }
 
-static const rb_data_type_t JSON_Parser_type = {
-    "JSON/Parser",
-    {JSON_mark, JSON_free, JSON_memsize,},
+static const rb_data_type_t JSON_ParserConfig_type = {
+    "JSON::Ext::Parser/ParserConfig",
+    {
+        JSON_ParserConfig_mark,
+        JSON_ParserConfig_free,
+        JSON_ParserConfig_memsize,
+    },
     0, 0,
-    RUBY_TYPED_FREE_IMMEDIATELY,
+    RUBY_TYPED_FREE_IMMEDIATELY | RUBY_TYPED_WB_PROTECTED,
 };
 
 static VALUE cJSON_parser_s_allocate(VALUE klass)
 {
-    JSON_Parser *json;
-    VALUE obj = TypedData_Make_Struct(klass, JSON_Parser, &JSON_Parser_type, json);
-    fbuffer_stack_init(&json->fbuffer, 0, NULL, 0);
-    return obj;
-}
-
-/*
- * call-seq: source()
- *
- * Returns a copy of the current _source_ string, that was used to construct
- * this Parser.
- */
-static VALUE cParser_source(VALUE self)
-{
-    GET_PARSER;
-    return rb_str_dup(json->Vsource);
+    JSON_ParserConfig *config;
+    return TypedData_Make_Struct(klass, JSON_ParserConfig, &JSON_ParserConfig_type, config);
 }
 
 void Init_parser(void)
@@ -3167,15 +1319,15 @@ void Init_parser(void)
 #undef rb_intern
     rb_require("json/common");
     mJSON = rb_define_module("JSON");
-    mExt = rb_define_module_under(mJSON, "Ext");
-    cParser = rb_define_class_under(mExt, "Parser", rb_cObject);
+    VALUE mExt = rb_define_module_under(mJSON, "Ext");
+    VALUE cParserConfig = rb_define_class_under(mExt, "ParserConfig", rb_cObject);
     eNestingError = rb_path2class("JSON::NestingError");
     rb_gc_register_mark_object(eNestingError);
-    rb_define_alloc_func(cParser, cJSON_parser_s_allocate);
-    rb_define_method(cParser, "initialize", cParser_initialize, -1);
-    rb_define_method(cParser, "parse", cParser_parse, 0);
-    rb_define_method(cParser, "source", cParser_source, 0);
+    rb_define_alloc_func(cParserConfig, cJSON_parser_s_allocate);
+    rb_define_method(cParserConfig, "initialize", cParserConfig_initialize, 1);
+    rb_define_method(cParserConfig, "parse", cParserConfig_parse, 1);
 
+    VALUE cParser = rb_define_class_under(mExt, "Parser", rb_cObject);
     rb_define_singleton_method(cParser, "parse", cParser_m_parse, 2);
 
     CNaN = rb_const_get(mJSON, rb_intern("NaN"));
@@ -3195,19 +1347,10 @@ void Init_parser(void)
     sym_allow_trailing_comma = ID2SYM(rb_intern("allow_trailing_comma"));
     sym_symbolize_names = ID2SYM(rb_intern("symbolize_names"));
     sym_freeze = ID2SYM(rb_intern("freeze"));
-    sym_create_additions = ID2SYM(rb_intern("create_additions"));
-    sym_create_id = ID2SYM(rb_intern("create_id"));
-    sym_object_class = ID2SYM(rb_intern("object_class"));
-    sym_array_class = ID2SYM(rb_intern("array_class"));
+    sym_on_load = ID2SYM(rb_intern("on_load"));
     sym_decimal_class = ID2SYM(rb_intern("decimal_class"));
-    sym_match_string = ID2SYM(rb_intern("match_string"));
 
-    i_create_id = rb_intern("create_id");
-    i_json_creatable_p = rb_intern("json_creatable?");
-    i_json_create = rb_intern("json_create");
     i_chr = rb_intern("chr");
-    i_match = rb_intern("match");
-    i_deep_const_get = rb_intern("deep_const_get");
     i_aset = rb_intern("[]=");
     i_aref = rb_intern("[]");
     i_leftshift = rb_intern("<<");
@@ -3220,11 +1363,3 @@ void Init_parser(void)
     utf8_encindex = rb_utf8_encindex();
     enc_utf8 = rb_utf8_encoding();
 }
-
-/*
- * Local variables:
- * mode: c
- * c-file-style: ruby
- * indent-tabs-mode: nil
- * End:
- */