The text f3be98135e5e, as Debian 6.0 (Squeeze) shipped it.
return bits 32-63 of a number
upper_32_bits(9) on Linux now
