The text 8e352bbcf3df, as Debian 7 (Wheezy) shipped it.
Change a bit and return its old value
test_and_change_bit(9) on Linux now
