The KASSERT may be a wrong assertion. Look into it later