The text ec484c14e390, as Debian 7 (Wheezy) shipped it.
convert KeySym to KeyCodes
XtConvertCase(3) on Linux now
