futex revised