Replacing ctime() with strftime()

ctime_to_strftime.c

// ctime is an obsolete time function that is present in many older Unix programs.
// It's common for programs to call it and then modify the output.
// Here's a strftime format string that should produce the same output.
// dest_len should be >= 26
static void get_time_str(time_t val, char *dest, size_t dest_len)
{
  struct tm result;
  localtime_r(&val, &result);
  // e.g. Wed Oct 27 18:28:32 2021\n
  strftime(dest, dest_len, "%a %b %e %H:%M:%S %Y\n", &result);
}