编写算法，实现下面函数的功能。函数void insert(char * s,char * t,int pos)将字符串t插入到字符串s中，插入位置为pos（插在第pos个字符前）。假设分配给字符串s的空间足够让字符串t插入。(说明：不得使用任何库函数)

要编写一个简单的算法来实现这个功能，你可以按照以下步骤：

1. 首先，计算字符串`t`的长度，包括结束符'\0'。

int len_t = 0;
while (t[len_t] != '\0') {
    len_t++;
}

2. 然后，在`s`的原位置`pos`之后，添加`t`的内容。从`pos`开始遍历`s`，直到找到最后一个已知字符的位置`end_s`（如果不包含`\0`的话）。

int end_s = pos + strlen(s);
for (int i = pos; i < end_s; i++) {
    *(s + i+len_t) = s[i]; // 将`s`中当前位置之后的所有字符向右移一位
}

3. 接下来，在`pos`处放入`t`的第一个字符。

s[pos] = t[0];

4. 最后，将`t`剩余的字符依次复制到`s`中，并更新指针。

for (int i = 1; i < len_t; i++) {
    *(s + pos + i) = t[i]; // 将`t`逐个字符添加到`s`中
}

5. 为了表示插入完成，`s`的结尾需要添加`\0`。

*(s + pos + len_t) = '\0'; // 添加字符串结束符

完整的函数实现如下：

#include <stdio.h>
#include <string.h>

// 函数声明
void insert(char* s, char* t, int pos);

// 主函数演示如何使用
int main() {
    char str1[] = "Hello";
    char str2[] = "World";
    insert(str1, str2, 7); // 插入在"World"之前
    printf("%s\n", str1); // 输出应为 "HelloWorld"
    return 0;
}

// 实现函数
void insert(char* s, char* t, int pos) {
    int len_t = 0;
    while (t[len_t] != '\0') {
        len_t++;
    }

    int end_s = pos + strlen(s);
    for (int i = pos; i < end_s; i++) {
        *(s + i+len_t) = s[i];
    }
    s[pos] = t[0];

    for (int i = 1; i < len_t; i++) {
        *(s + pos + i) = t[i];
    }
    *(s + pos + len_t) = '\0';
}