The text 604084df10e8, as Debian 7 (Wheezy) shipped it.
grab/ungrab extension input device Keys
XGrabDeviceKey(3) on Linux now
