The text 76f12b4e36d0, as Debian 1.2 (Rex) shipped it.
obtain the escapement of text
XmbTextEscapement(3x) on Linux now
