On Thu, Jun 28, 2007 at 08:56:14PM +0200, Martin Husemann wrote: > So my bet would be: > > #ifdef DIAGNOSTIC > #define VERIFY(exp) KASSERT(exp) > #else > (void)exp > #endif What I tried to say, of course, was: #ifdef DIAGNOSTIC #define VERIFY(exp) KASSERT(exp) #else #define VERIFY(exp) (void)exp #endif