The text 9dfb4854d3ac, as Debian 7 (Wheezy) shipped it.
query or change device modifier mappings
XSetDeviceModifierMapping(3) on Linux now