The text c0191a7c52ec, as Debian 13 (Trixie) shipped it.
fast user-space locking
futex(2) on Linux now
