-void request_resize (int, int);
-void do_text (Context, int, int, char *, int, unsigned long);
-void set_title (char *);
-void set_icon (char *);
-void set_sbar (int, int, int);
-Context get_ctx();
-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 (void);
+void request_resize(int, int, int);
+void do_text(Context, int, int, char *, int, unsigned long, int);
+void set_title(char *);
+void set_icon(char *);
+void set_sbar(int, int, int);
+Context get_ctx(void);
+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);