So calling KASSERT fails?