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 28065 src/xterm.c      gui_set_bitmap_icon (f);
gui_set_bitmap_icon 28328 src/xterm.c      gui_set_bitmap_icon (f);