+ Widget game, goal, timer;
+
+ /* Current window width/height for resize handling. */
+ Dimension game_sz[2], goal_sz[2];
+
+ XtIntervalId timer_tick;
+
+ XtIntervalId render_tick;
+ XtWorkProcId render_proc;
+ uint_fast32_t render_game_mask;
+ uint_fast16_t render_goal_mask;