+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);
+
+/*
+ * midend.c
+ */
+midend_data *midend_new(frontend *fe);
+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, char *seed);
+void midend_restart_game(midend_data *me);
+int midend_process_key(midend_data *me, int x, int y, int button);
+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);