On Fri, Nov 6, 2015 at 6:15 PM, Dmitry Gutov &lt;dgutov@yandex.ru&gt; wrote:<br><blockquote type="cite"><div class="plaintext" style="white-space: pre-wrap;">That sounds fine to me in terms of design, but it might add some performance overhead. So some testing is needed.</div></blockquote><br><div><div>Good! A revised patch is attached.</div><div><br></div><div>Benchmarks follow below, with the same setup as last time.</div><div><br></div><div>Before the patch:</div><div><br></div><div>(benchmark-run 100 (json-read-from-string huge-json))</div><div>&nbsp; &nbsp; &nbsp;⇒ (16.84457266 1007 4.886441912999999)</div><div><br></div><div>After the patch:</div><div><br></div><div>(benchmark-run 100 (json-read-from-string huge-json))</div><div>&nbsp; &nbsp; &nbsp;⇒ (16.905379125000003 1007 4.722544520000007)</div><div><br></div><div>-- Simen</div></div>