Symbol: CV_ASSERT