No idea :-/ I'm not a SpiderMonkey dev and lack the proper knowledge. It'd be better to ask on dev-tech-js-engine-internals@lists.mozilla.org