JavaScript-SpiderMonkey/util
