public void ReturnInteger(int integer) { System.Diagnostics.Debug.Assert(integer <= nextInteger); lock (this.availableIntegers) { this.availableIntegers.Push(integer); } }