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