android_key_pressed_event 5079 src/android.c  android_wc_lookup_string (android_key_pressed_event *event,
android_key_pressed_event  656 src/androidgui.h extern int android_wc_lookup_string (android_key_pressed_event *,