x_set_mouse_face_gc 8334 src/xterm.c          x_set_mouse_face_gc (s);
x_set_mouse_face_gc 10589 src/xterm.c    	      x_set_mouse_face_gc (s);