Use ASSERT everywhere for consistency.