boolean deactivate_display;
boolean auto_play;
boolean auto_play_level_solved;
+ boolean auto_play_level_fixed;
+ boolean auto_play_level_not_fixable;
boolean quick_resume;
boolean single_step;
boolean changed;
boolean InsertSolutionTape(void);
boolean PlaySolutionTape(void);
+void UndoTape(void);
+void FixTape_ForceSinglePlayer(void);
+
void AutoPlayTapes(void);
void PatchTapes(void);