I think it's helpful to change it to KASSERT - it's more compact and easier to follow the logic. Plus, we'll have to (or have) teach Coverity about KASSERT. -- Greg Troxel <gdt@ir.bbn.com>