adding cassert