The text 370f96ae78f7, as Debian 7 (Wheezy) shipped it.
fast user-space locking
futex(7) on Linux now
