private void DebugStateSave()
{
if (Globs.GetRandomDouble() < StateSaveProbability)
{
bool s3 = NumStateSaves % 4 < 2;
bool doPowerCycle = (NumStateSaves % 2 == 0);
string message = s3 ? "{S3}" : "{S4}";
if (!doPowerCycle)
{
message = "{S3-abort}";
}
#if !NETFX_CORE
Console.ForegroundColor = ConsoleColor.Magenta;
Console.Error.Write(message);
Console.ResetColor();
#endif
StateSaveAndReload(s3, (NumStateSaves % 2 == 0));
NumStateSaves++;
}
}