android_restart_emacs  122 src/android.h  extern _Noreturn void android_restart_emacs (void);
android_restart_emacs 3030 src/emacs.c    	android_restart_emacs ();