fun key_event: JavaString in "Java" `{ return Intent.EXTRA_KEY_EVENT; `}