x_make_point     9611 src/xterm.c    		     x_make_point (left_x, bottom_y - hwidth),
x_make_point     9612 src/xterm.c    		     x_make_point (left_x + vwidth, bottom_y - hwidth),
x_make_point     9613 src/xterm.c    		     x_make_point (left_x, bottom_y));
x_make_point     9617 src/xterm.c    		     x_make_point (right_x - vwidth, top_y),
x_make_point     9618 src/xterm.c    		     x_make_point (right_x, top_y),
x_make_point     9619 src/xterm.c    		     x_make_point (right_x - vwidth, top_y + hwidth));