So a KASSERT fails?