The text d0b439c4200a, as Debian 11 (Bullseye) shipped it.
convert KeySym to KeyCodes
XtConvertCase(3) on Linux now