The text 9f5f92a8c44f, as Debian 1.2 (Rex) shipped it.
grab keyboard keys
XUngrabKey(3x) on Linux now
