Add some ASSERT32FLAT() to help compiler eliminate dead code.