add assert.