gui_set_bitmap_icon 7050 src/w32term.c    gui_set_bitmap_icon (f);
gui_set_bitmap_icon 7192 src/w32term.c    gui_set_bitmap_icon (f);
gui_set_bitmap_icon 28679 src/xterm.c      gui_set_bitmap_icon (f);
gui_set_bitmap_icon 28952 src/xterm.c      gui_set_bitmap_icon (f);