#include <stdio.h>

void sec2timestamp(int seconds, char **p_ts) {
  int hours = seconds / 3600;
  int minutes = (seconds % 3600) / 60;
  int secs = seconds % 60;
  sprintf(*p_ts, "%02d:%02d:%02d", hours, minutes, secs);
}