w32_show_back_buffer  767 src/w32term.c      w32_show_back_buffer (f);
w32_show_back_buffer  774 src/w32term.c      w32_show_back_buffer (f);
w32_show_back_buffer  787 src/w32term.c      w32_show_back_buffer (f);
w32_show_back_buffer 5106 src/w32term.c  		    w32_show_back_buffer (f);
w32_show_back_buffer 6005 src/w32term.c  	w32_show_back_buffer (f);