The text 87cd13cb26cb, as Debian 8 (Jessie) shipped it.
Set a bit and return its old value
test_and_set_bit(9) on Linux now
