Source code for SpiderMonkey, the Mozilla JavaScript engine