Uses SpiderMonkey v20