K 10
svn:author
V 6
eivind
K 8
svn:date
V 27
1999-01-08T17:31:30.000000Z
K 7
svn:log
V 196
Split DIAGNOSTIC -> DIAGNOSTIC, INVARIANTS, and INVARIANT_SUPPORT as
discussed on -hackers.

Introduce 'KASSERT(assertion, ("panic message", args))' for simple
check + panic.

Reviewed by:	msmith

END