+ getDefaultSolutionTapeFilename(level_nr));
+
+ if (!fileExists(tape_filename))
+ {
+ // non-standard solution tape -- save to temporary file
+ tape_filename = getTemporaryTapeFilename();
+
+ SaveTapeToFilename(tape_filename);
+
+ use_temporary_tape_file = TRUE;
+ }
+ }