给定程序中函数fun的功能是：先将在字符串s中的字符按正序存放到t串中，然后把s中的字符按逆序连接到t串的后面。 例如：当s中的字符串为："ABCDE"时，则t中的字符串应为："ABCDEEDCBA

以下是实现上述功能的C语言代码：

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

void fun(char *s, char *t) {
    int len = strlen(s);
    int i, j;
    // 把s中的字符按正序存放到t串中
    for (i = 0; i < len; i++) {
        t[i] = s[i];
    }
    // 把s中的字符按逆序连接到t串的后面
    for (j = len - 1; j >= 0; j--) {
        t[i++] = s[j];
    }
    t[i] = '\0'; // 字符串结束符
}

int main() {
    char s[] = "ABCDE";
    char t[11];
    fun(s, t);
    printf("%s\n", t); // 输出：ABCDEEDCBA
    return 0;
}

在`fun`函数中，首先通过`strlen`函数获取字符串`s`的长度，然后使用`for`循环把`s`中的字符按正序存放到`t`串中。接着，再使用另一个`for`循环把`s`中的字符按逆序连接到`t`串的后面。最后，添加字符串结束符`\0`。

在`main`函数中，我们定义了字符串`s`和`t`，调用`fun`函数把`s`中的字符按照题目要求存放到`t`串中，并输出`t`串。