/* values for random number generator initialization after snapshot */
unsigned int num_random_calls;
/* values for random number generator initialization after snapshot */
unsigned int num_random_calls;
void FreeEngineSnapshotList();
void LoadEngineSnapshotSingle();
void SaveEngineSnapshotSingle();
void FreeEngineSnapshotList();
void LoadEngineSnapshotSingle();
void SaveEngineSnapshotSingle();