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