Hello- Solaris defines VERIFY(exp), which is equivalent to KASSERT(exp), but it is always tested (ie, even if DIAGNOSTIC is not set). Is it okay to define VERIFY to be assert? I haven't been able to find any documentation on (lowercase) assert, so I am left to guess that this is the intended use. Am I correct? - Oliver