c语言中assert函数