The text 8e51b94dd5ae, as Debian 8 (Jessie) shipped it.
Set a bit and return its old value for lock
test_and_set_bit_lock(9) on Linux now
