assert函数c