The text f5c425fdfb8d, as Debian 5.0 (Lenny) shipped it.
Set a bit and return its old value
test_and_set_bit(9) on Linux now