The text e134fb26a133, as Debian 7 (Wheezy) shipped it.
wait for a bit to be cleared, when wanting to set it
wait_on_bit_lock(9) on Linux now
