public void Dispose() { state_.Dispose(); exec_.Stop(); exec_.Dispose(); GC.Collect(); GC.WaitForPendingFinalizers(); }