ASSERT rather than CRASH