Milisegundos a HH:MM:SS

#include <stdio.h>

void main (void)
{
  unsigned long ms;
  int n;

  n=scanf("%lu",&ms);

  if (n==1)
  {
    ms+=999;   // Esta línea redondea hacia arriba 1 segundo
    ms/=1000;  // Desechamos los milisegundos
    printf("%lu:%02lu:%02lu",ms/3600,(ms%3600)/60,ms%60);
  }
  else fprintf(stderr,"Error\n");
}