};
void ui_initialize(struct app_state *state, Widget shell);
+void ui_show_about(struct app_state *state, Widget shell);
void ui_timer_update(struct app_state *state, int_fast32_t elapsed);
void x11_initialize(struct app_state *state, Widget shell);