+void frontend_default_colour(frontend *fe, float *output);
+void draw_text(frontend *fe, int x, int y, int fonttype, int fontsize,
+ int align, int colour, char *text);
+void draw_rect(frontend *fe, int x, int y, int w, int h, int colour);
+void draw_line(frontend *fe, int x1, int y1, int x2, int y2, int colour);
+void draw_polygon(frontend *fe, int *coords, int npoints,
+ int fill, int colour);
+void clip(frontend *fe, int x, int y, int w, int h);
+void unclip(frontend *fe);
+void start_draw(frontend *fe);
+void draw_update(frontend *fe, int x, int y, int w, int h);
+void end_draw(frontend *fe);
+void deactivate_timer(frontend *fe);
+void activate_timer(frontend *fe);
+void status_bar(frontend *fe, char *text);
+void get_random_seed(void **randseed, int *randseedsize);
+
+/*
+ * midend.c
+ */
+midend_data *midend_new(frontend *fe, const game *ourgame);
+void midend_free(midend_data *me);
+void midend_set_params(midend_data *me, game_params *params);
+void midend_size(midend_data *me, int *x, int *y);
+void midend_new_game(midend_data *me);
+void midend_restart_game(midend_data *me);
+int midend_process_key(midend_data *me, int x, int y, int button);
+void midend_force_redraw(midend_data *me);
+void midend_redraw(midend_data *me);
+float *midend_colours(midend_data *me, int *ncolours);
+void midend_timer(midend_data *me, float tplus);
+int midend_num_presets(midend_data *me);
+void midend_fetch_preset(midend_data *me, int n,
+ char **name, game_params **params);
+int midend_wants_statusbar(midend_data *me);
+enum { CFG_SETTINGS, CFG_SEED, CFG_DESC };
+config_item *midend_get_config(midend_data *me, int which, char **wintitle);
+char *midend_set_config(midend_data *me, int which, config_item *cfg);
+char *midend_game_id(midend_data *me, char *id);
+char *midend_text_format(midend_data *me);
+char *midend_solve(midend_data *me);
+void midend_supersede_game_desc(midend_data *me, char *desc);
+char *midend_rewrite_statusbar(midend_data *me, char *text);