On Tue, 30 Aug 2011 16:19:00 -0700, Walter Bright wrote: > Looking for corruption of the data. Why doesn't it check for null, and pass if no invariant is defined?