add some assert