请以gcc语言编写程序实现：从键盘输入一个以秒为单位的时间值整数，将其转换成时、分、秒的形式输出。 输入格式: 输入代表总秒数的整数。 输出格式: 输出时、分、秒的整数值，以英文冒号分隔，最后换行。 输入样例: 20000 输出样例: 5:33:20。

你可以使用C语言和gcc编译器来实现这个功能，下面是一个简单的示例程序：

#include <stdio.h>

int main() {
    int total_seconds;
    
    // 从键盘读取输入的秒数
    printf("请输入总秒数的整数: ");
    scanf("%d", &total_seconds);
    
    int hours = total_seconds / 3600;   // 计算小时数并更新剩余秒数
    int remaining_seconds = total_seconds % 3600;
    
    int minutes = remaining_seconds / 60;  // 计算分钟数并更新剩余秒数
    int seconds = remaining_seconds % 60;   // 获取剩余秒数
    
    // 输出结果
    if (hours > 0) {
        printf("%d:", hours);
    }
    if (minutes > 0 || hours == 0) {
        printf("%02d:", minutes);  // 两位数显示分钟
    }
    printf("%02d\n", seconds);  // 两位数显示秒数，加换行符
    
    return 0;
}

当你运行此程序，并输入`20000`时，它会输出`5:33:20`。