Add assert().