关于#c语言#的问题：一个篮球一小节倒计时秒表要求格式为 分：秒：毫秒

c语言做一个篮球一小节倒计时秒表要求格式为 分：秒：毫秒，（11:59:99~00:00:00）
求指导

#include <windows.h>
#include<stdio.h>


int main() {
    time_t time_start, time_end;
    /* 获取开始时间 */
    time_start = GetTickCount(); //从操作系统启动经过的毫秒数

    
    while (1) {
        system("cls");
        time_end = GetTickCount();
        time_t time = time_end - time_start ;
        printf("%ld : %ld : %ld  ", (time/(1000*60))%60 , (time/(1000))%60 , time%1000 );
    }
}

输入什么，输出什么请提供一下，否则实在不是到具体需求是什么