lower_32_bits(9) on Linux

The text 0c80ad078e70, as Debian 8 (Jessie) shipped it. The page shows this text now.

return bits 0-31 of a number

lower_32_bits(9) on Linux now