futex.h revision 0ec33c01
1