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