added few more KASSERT