15-6 程序断言assert