The text 4537543c286c, as Debian 10 (Buster) shipped it.
mandoc special characters
mandoc_char(7) on Linux now
