9.3 基于断言的程序调试