编制预算时人工挖沟槽、基坑土方时，对普通土的放坡系数为1：0.3。

程序中使用了字符串函数(如strlen)，则必须包含的头文件名为_______。