As soon as > INVARIANTS are enable the KASSERT will catch the offender red handed. The INVARIANTS check DTRT. i.e. fail-fast. If you're double-freeing a valid mbuf you'll get a random crash elsewhere. -Kip