android_draw_underwave 3992 src/androidterm.c                 android_draw_underwave (s, decoration_width);
android_draw_underwave 3998 src/androidterm.c                   android_draw_underwave (s, decoration_width);