char buf[12] = "0123456789"; //因为你后面操作是按字符串操作:strlen()。因此,这里在定义时,数组长度应该至少比数据长度大1,给\0留个位置。strlen(buf)函数是按\0位置返回字符串长度的!
没有添加stdio.
添加头文件了吗?