replace assert() with AssertCrash()