The text 62a6d32bf9fd, as Debian 7 (Wheezy) shipped it.
query or change device key mappings
XChangeDeviceKeyMapping(3) on Linux now
