David Young <dyoung@pobox.com> writes:
> #define KASSERT(cond, complaint) if (!(cond)) panic complaint

as has been noted, a do wrapper is noted. I'd also suggest the use of
a couple of strategic __FILE__ and __LINE__ macros to tell the user
where in which source file the problem happened. Good examples are
probably in our /usr/include/assert.h

Perry