android_draw_stretch_glyph_string 3887 src/androidterm.c 	      android_draw_stretch_glyph_string (next);
android_draw_stretch_glyph_string 3933 src/androidterm.c       android_draw_stretch_glyph_string (s);