> Too bad we don't have a geenric SPLASSERT() for this kind of stuff ... It's surprising to me we've not had SPLASSERT() now. I think SPLASSERT() is possible if we don't make it generic; make it a nop on platforms which can't compare IPL. Masao -- Masao Uebayashi / Tombi Inc. / Tel: +81-90-9141-4635