yes, I believe that's already implemented; the more interesting thing I still need to do is make futex() work with the head and tail pointers.