x_setup_relief_colors 9782 src/xterm.c          x_setup_relief_colors (s);
x_setup_relief_colors 10056 src/xterm.c      x_setup_relief_colors (s);