The text 88f585371df2, as Debian 13 (Trixie) shipped it.
How to use binary, decimal, and hexadecimal notation.
bin_dec_hex(1) on Linux now
