使用ASSERT宏