使用内部一致性检查代码

程序应该检查以确保其调用的参数和基本状态假设是合法的。在C语言中，assert(3)一类的宏可用于进行这样的检查。