Source code for SpiderMonkey