The text ec314131df56, as Debian 7 (Wheezy) shipped it.
logical right shift of the bits in a bitmap
__bitmap_shift_right(9) on Linux now
