The text 940d234656c1, as Debian 7 (Wheezy) shipped it.
grab/ungrab extension input device buttons
XUngrabDeviceButton(3) on Linux now