The text 2b8de1b5ff2c, as Debian 10 (Buster) shipped it.
manipulate a colour pen attribute
tickit_pen_get_colour_attr(3) on Linux now
