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