15 void show_mouse(int show);
16 int read_mouse_bn(void);
17 int read_mouse(int *xp, int *yp);
18 void read_mouse_rel(int *xp, int *yp);
19 void set_mouse(int x, int y);
20 void set_mouse_limits(int xmin, int ymin, int xmax, int ymax);
21 void set_mouse_rate(int xrate, int yrate);