The text b80da97c53d1, as Debian 7 (Wheezy) shipped it.
How to use binary, decimal, and hexadecimal notation.
bin_dec_hex(1) on Linux now
