The text cf46808c490f, as Debian 6.0 (Squeeze) shipped it.
RtlLargeIntegerShiftRight(3w) on Linux now