works with SpiderMonkey 19