SpiderMonkey JavaScript 1.8.7 implementation