android_key_pressed_event 5049 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 *,