The text eafbef1834d2, as Debian 7 (Wheezy) shipped it.
attribute a keycode to a given scancode
input_set_keycode(9) on Linux now