spidermonkey needs futex()