android_pending   566 src/androidgui.h extern int android_pending (void);
android_pending  1743 src/androidterm.c   while (android_pending ())