x_make_point     9825 src/xterm.c    		     x_make_point (left_x, bottom_y - hwidth),
x_make_point     9826 src/xterm.c    		     x_make_point (left_x + vwidth, bottom_y - hwidth),
x_make_point     9827 src/xterm.c    		     x_make_point (left_x, bottom_y));
x_make_point     9831 src/xterm.c    		     x_make_point (right_x - vwidth, top_y),
x_make_point     9832 src/xterm.c    		     x_make_point (right_x, top_y),
x_make_point     9833 src/xterm.c    		     x_make_point (right_x - vwidth, top_y + hwidth));