+
+#if 0
+ printf("::: LOADING ... : %d RNDs\n", num_random_calls);
+#endif
+
+ InitRND(tape.random_seed);
+ for (i = 0; i < num_random_calls; i++)
+ RND(1);
+
+ if (game.num_random_calls != num_random_calls)
+ {
+ Error(ERR_RETURN, "number of random calls out of sync");
+ Error(ERR_RETURN, "number of random calls should be %d", num_random_calls);
+ Error(ERR_RETURN, "number of random calls is %d", game.num_random_calls);
+ Error(ERR_EXIT, "this should not happen -- please debug");
+ }
+
+#if 0
+ printf("::: LOADED: %d RNDs\n", num_random_calls);
+#endif