On 8/30/2011 5:08 PM, Bernard Helyer wrote: > 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? Because the hardware does the null check for you, which is what a seg fault is.