x_set_mouse_face_gc 8392 src/xterm.c          x_set_mouse_face_gc (s);
x_set_mouse_face_gc 10647 src/xterm.c    	      x_set_mouse_face_gc (s);