public void Dispose () { // if ((invmask & Options.ProbingMode) == 0) // ec.Report.EnableReporting (); ec.flags = (ec.flags & invmask) | oldval; } }