-void free_ctx (Context);
-void palette_set (int, int, int, int);
-void palette_reset (void);
-void write_clip (void *, int);
-void get_clip (void **, int *);
-void optimised_move (int, int, int);
-void fatalbox (char *, ...);
-void beep (int);
+void free_ctx(Context);
+void palette_set(int, int, int, int);
+void palette_reset(void);
+void write_clip(void *, int, int);
+void get_clip(void **, int *);
+void optimised_move(int, int, int);
+void set_raw_mouse_mode(int);
+Mouse_Button translate_button(Mouse_Button b);
+void connection_fatal(char *, ...);
+void fatalbox(char *, ...);
+void beep(int);
+void begin_session(void);
+void sys_cursor(int x, int y);