x_make_point     9883 src/xterm.c    		     x_make_point (left_x, bottom_y - hwidth),
x_make_point     9884 src/xterm.c    		     x_make_point (left_x + vwidth, bottom_y - hwidth),
x_make_point     9885 src/xterm.c    		     x_make_point (left_x, bottom_y));
x_make_point     9889 src/xterm.c    		     x_make_point (right_x - vwidth, top_y),
x_make_point     9890 src/xterm.c    		     x_make_point (right_x, top_y),
x_make_point     9891 src/xterm.c    		     x_make_point (right_x - vwidth, top_y + hwidth));