The text 04bab4cc9e65, as Debian 10 (Buster) shipped it.
lock and unlock a spin lock
pthread_spin_lock(3) on Linux now
