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