void x11_initialize(struct app_state *state, Screen *screen);
void x11_redraw_icon(struct app_state *state, Widget shell);
void x11_redraw_goal(struct app_state *state);
-void x11_redraw_game(struct app_state *state);
+void x11_redraw_game(struct app_state *state, uint_fast32_t mask);
#endif