Bug #8973: In UngrabKey, the 'key' field is of type KEYCODE, not the more general...