The text c472d2f8647c, as Debian 11 (Bullseye) shipped it.
Translate a keycode to a key symbol and modifiers
XkbTranslateKeyCode(3) on Linux now
